20 lines
457 B
Text
20 lines
457 B
Text
(lang dune 3.13)
|
|
|
|
(name projet_pfa_23_24)
|
|
|
|
(generate_opam_files true)
|
|
|
|
(source
|
|
(uri
|
|
https://gaufre.informatique.univ-paris-diderot.fr/Anri/unification-pfa.git))
|
|
|
|
(authors "Anri Kennel")
|
|
|
|
(package
|
|
(name projet_pfa_23_24)
|
|
(synopsis "Projet PFA 2023-2024")
|
|
(description "Unification")
|
|
(depends ocaml dune alcotest ppx_deriving)
|
|
(tags (unification)))
|
|
|
|
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project
|