anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add lower bounds on qcheck & mdx

authored by

Guillaume Bury and committed by
GitHub 63efc029 6c0aa706

+2 -2
+2 -2
packages/dolmen/dolmen.0.10/opam
··· 14 14 "hmap" { >= "0.8.1" } 15 15 "seq" 16 16 "odoc" { with-doc } 17 - "qcheck" { with-test } 18 - "mdx" { with-test } 17 + "qcheck" { with-test & >= "0.20" } 18 + "mdx" { with-test & >= "2.0.0" } 19 19 ] 20 20 21 21 tags: [ "parser" "logic" "tptp" "smtlib" "dimacs" ]