1
0
Fork 0
This repository has been archived on 2024-05-03. You can view files and clone it, but cannot push or open issues or pull requests.
unification-pfa/dune-project

21 lines
457 B
Text
Raw Permalink Normal View History

2024-03-11 09:31:56 +01:00
(lang dune 3.13)
(name projet_pfa_23_24)
(generate_opam_files true)
(source
2024-03-11 14:25:23 +01:00
(uri
https://gaufre.informatique.univ-paris-diderot.fr/Anri/unification-pfa.git))
2024-03-11 09:31:56 +01:00
2024-03-11 14:25:23 +01:00
(authors "Anri Kennel")
2024-03-11 09:31:56 +01:00
(package
(name projet_pfa_23_24)
2024-03-11 14:25:23 +01:00
(synopsis "Projet PFA 2023-2024")
(description "Unification")
2024-03-11 09:31:56 +01:00
(depends ocaml dune alcotest ppx_deriving)
2024-03-11 14:25:23 +01:00
(tags (unification)))
2024-03-11 09:31:56 +01:00
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project