1 files changed, 0 insertions, 29 deletions
diff --git a/aeneas.opam b/aeneas.opam
deleted file mode 100644
index 4048f9a0..00000000
--- a/aeneas.opam
+++ /dev/null
@@ -1,29 +0,0 @@
-# This file is generated by dune, edit dune-project instead
-opam-version: "2.0"
-version: "0.1"
-synopsis: ""
-description: ""
-maintainer: ["son.ho@inria.fr"]
-authors: ["Son Ho" "Jonathan Protzenko" "Aymeric Fromherz" "Sidney Congard"]
-license: "Apache-2.0"
-homepage: "https://github.com/AeneasVerif/aeneas"
-bug-reports: "https://github.com/AeneasVerif/aeneas/issues"
-depends: [
-  "dune" {>= "2.8"}
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/AeneasVerif/aeneas.git"