diff --git a/cerberus-absint.opam b/cerberus-absint.opam index e69de29bb..d26f3f6e1 100644 --- a/cerberus-absint.opam +++ b/cerberus-absint.opam @@ -0,0 +1 @@ +opam-version: "2.0" \ No newline at end of file diff --git a/cerberus-ocaml.opam b/cerberus-ocaml.opam index e69de29bb..d26f3f6e1 100644 --- a/cerberus-ocaml.opam +++ b/cerberus-ocaml.opam @@ -0,0 +1 @@ +opam-version: "2.0" \ No newline at end of file diff --git a/rustic.opam b/rustic.opam index e69de29bb..d26f3f6e1 100644 --- a/rustic.opam +++ b/rustic.opam @@ -0,0 +1 @@ +opam-version: "2.0" \ No newline at end of file