opam dependencies

logsem · Mar 1, 2023 · d9e164c · d9e164c
1 parent 77a72e9
commit d9e164c
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/interpreter/opam b/interpreter/opam
@@ -0,0 +1,13 @@
+name: "cerise-interpreter"
+synopsis: ""
+opam-version: "2.0"
+maintainer: ""
+authors: [ "anonymous" ]
+depends: [
+  "dune"
+  "menhir"
+  "zarith"
+  "containers"
+  "alcotest"
+  "notty"
+]