diff --git a/dune-project b/dune-project index c9d1fe6..d4cb45c 100644 --- a/dune-project +++ b/dune-project @@ -5,22 +5,16 @@ (generate_opam_files true) (source - (github username/reponame)) + (uri + https://gaufre.informatique.univ-paris-diderot.fr/Anri/unification-pfa.git)) -(authors "Author Name") - -(maintainers "Maintainer Name") - -(license LICENSE) - -(documentation https://url/to/documentation) +(authors "Anri Kennel") (package (name projet_pfa_23_24) - (synopsis "A short synopsis") - (description "A longer description") + (synopsis "Projet PFA 2023-2024") + (description "Unification") (depends ocaml dune alcotest ppx_deriving) - (tags - (topics "to describe" your project))) + (tags (unification))) ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project