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

Attempt with ocplib-simplex > 0.4

Pierre Villemot aae86245 a82f3654

options
unified split
Changed files
+1 -1
packages
alt-ergo-lib
alt-ergo-lib.2.4.3
opam
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.4.3/opam 
···

       
19

       
19

       
 

       
  "dune-configurator"


     

       
20

       
20

       
 

       
  "dune-build-info"


     

       
21

       
21

       
 

       
  "num"


     

       
22

       

       
-

       
  "ocplib-simplex" {>= "0.4" & < "0.5"}


     

       

       
22

       
+

       
  "ocplib-simplex" {>= "0.4.1" & < "0.5"}


     

       
23

       
23

       
 

       
  "zarith" { >= "1.4" }


     

       
24

       
24

       
 

       
  "seq"


     

       
25

       
25

       
 

       
  "stdlib-shims"