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

attempt to add an "opam" file

Browse source
This commit is contained in:
Simon Cruanes 2014-11-03 15:56:36 +01:00
parent f11fb2477b
commit 27f5606e9e
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
opam Normal file
View file

@ -0,0 +1,16 @@
opam-version: "1.1"
license: "Apache"
version: "dev"
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
install: [
[make "install"]
]
remove: [
["ocamlfind" "remove" "msat"]
]
depends: ["ocamlfind" "num" "unix"]
tags: [ "sat" "smt" ]
homepage: "https://github.com/Gbury/mSAT"
dev-repo: "https://github.com/Gbury/mSAT.git"
bug-reports: "https://github.com/Gbury/mSAT/issues/"