diff options
author | Son Ho | 2022-10-27 09:16:46 +0200 |
---|---|---|
committer | Son HO | 2022-10-27 12:58:47 +0200 |
commit | 7e7d0d67de8285e1d6c589750191bce4f49aacb3 (patch) | |
tree | 5ef3178d2c3f7eadc82a0ea9497788e48ce67c2b /dune-project | |
parent | 16560ce5d6409e0f0326a0c6046960253e444ba4 (diff) |
Reorganize a bit the project
Diffstat (limited to 'dune-project')
-rw-r--r-- | dune-project | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dune-project b/dune-project deleted file mode 100644 index f8b418f2..00000000 --- a/dune-project +++ /dev/null @@ -1,24 +0,0 @@ -(lang dune 2.8) - -(name aeneas) - -(version 0.1) - -(generate_opam_files true) - -(formatting) - -(source - (uri git+https://github.com/AeneasVerif/aeneas.git)) - -(homepage "https://github.com/AeneasVerif/aeneas") - -(bug_reports "https://github.com/AeneasVerif/aeneas/issues") - -(authors - "Son Ho" - "Jonathan Protzenko" - "Aymeric Fromherz" - "Sidney Congard") - -(license Apache-2.0)
\ No newline at end of file |