simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-29 04:44:52 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: remove deps on funarith

Browse source
This commit is contained in:
Simon Cruanes 2020-10-10 14:34:13 -04:00
parent dc320bf0c9
commit 242f554974
2 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sidekick-bin.opam
View file

@ -20,10 +20,6 @@ depends: [
"menhir" "menhir"
"msat" { >= "0.8" < "0.9" } "msat" { >= "0.8" < "0.9" }
"ocaml" { >= "4.03" } "ocaml" { >= "4.03" }
"funarith"
]
pin-depends: [
["funarith.dev" "git+https://github.com/c-cube/funarith.git"]
] ]
tags: [ "sat" "smt" ] tags: [ "sat" "smt" ]
homepage: "https://github.com/c-cube/sidekick" homepage: "https://github.com/c-cube/sidekick"

3
sidekick.opam
View file

@ -18,9 +18,6 @@ depends: [
"ocaml" { >= "4.03" } "ocaml" { >= "4.03" }
"alcotest" {with-test} "alcotest" {with-test}
] ]
depopts: [
"funarith"
]
tags: [ "sat" "smt" ] tags: [ "sat" "smt" ]
homepage: "https://github.com/c-cube/sidekick" homepage: "https://github.com/c-cube/sidekick"
dev-repo: "git+https://github.com/c-cube/sidekick.git" dev-repo: "git+https://github.com/c-cube/sidekick.git"