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

add zarith as a dependency (close #1)

Browse source
This commit is contained in:
Simon Cruanes 2015-05-07 15:56:07 +02:00
parent 198890b68c
commit 383ce09653
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
opam
View file

@ -12,7 +12,7 @@ install: [
remove: [ remove: [
["ocamlfind" "remove" "msat"] ["ocamlfind" "remove" "msat"]
] ]
depends: ["ocamlfind" {build} "base-unix"] depends: ["ocamlfind" {build} "base-unix" "zarith"]
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"