add opam version

Signed-off-by: Sacha-Élie Ayoun <[email protected]>
rems-project · Jan 8, 2025 · 4ca0901 · 4ca0901
1 parent 6316f8f
commit 4ca0901
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/cerberus-absint.opam b/cerberus-absint.opam
@@ -0,0 +1 @@
+opam-version: "2.0"
diff --git a/cerberus-ocaml.opam b/cerberus-ocaml.opam
@@ -0,0 +1 @@
+opam-version: "2.0"
diff --git a/rustic.opam b/rustic.opam
@@ -0,0 +1 @@
+opam-version: "2.0"