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

Upper lower bound for Z3

Gabriel a8f0b797 e86d0bc9

options
unified split
Changed files
+1 -1
packages
universo
universo.2.7
opam
+1 -1
packages/universo/universo.2.7/opam 
···

       
9

       
 

       
depends: [


     

       
10

       
 

       
  "dune" {>= "2.0"}


     

       
11

       
 

       
  "ocaml" {>= "4.08"}


     

       
12

       
-

       
  "z3" {>= "4.8.1"}


     

       
13

       
 

       
  "tezt" {with-test & >= "2.0"}


     

       
14

       
 

       
  "dedukti" {= version}


     

       
15

       
 

       
]


     
···

       
9

       
 

       
depends: [


     

       
10

       
 

       
  "dune" {>= "2.0"}


     

       
11

       
 

       
  "ocaml" {>= "4.08"}


     

       
12

       
+

       
  "z3" {>= "4.8.11"}


     

       
13

       
 

       
  "tezt" {with-test & >= "2.0"}


     

       
14

       
 

       
  "dedukti" {= version}


     

       
15

       
 

       
]