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