Prepare for opam release

Gbury · Nov 27, 2015 · 3f1d9fe · 3f1d9fe
1 parent f9f88e0
commit 3f1d9fe
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/opam b/opam
@@ -12,7 +12,13 @@ install: [
 remove: [
     ["ocamlfind" "remove" "msat"]
 ]
-depends: ["ocamlfind" {build} "base-unix"]
+depends: [
+  "ocamlfind" {build}
+  "base-unix"
+]
+available: [
+  ocaml-version >= "4.02.1"
+]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"