simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 12:15:48 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Prepare for opam release

Browse source
This commit is contained in:
Guillaume Bury 2015-11-27 18:13:10 +01:00
parent f9f88e0767
commit 3f1d9fead6
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
opam
View file

@ -12,7 +12,13 @@ install: [
remove: [ remove: [
["ocamlfind" "remove" "msat"] ["ocamlfind" "remove" "msat"]
] ]
depends: ["ocamlfind" {build} "base-unix"] depends: [
"ocamlfind" {build}
"base-unix"
]
available: [
ocaml-version >= "4.02.1"
]
tags: [ "sat" "smt" ] tags: [ "sat" "smt" ]
homepage: "https://github.com/Gbury/mSAT" homepage: "https://github.com/Gbury/mSAT"
dev-repo: "https://github.com/Gbury/mSAT.git" dev-repo: "https://github.com/Gbury/mSAT.git"