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

Remove conf-gmp

Christoph M. Wintersteiger 6813cf17 48e6a618

options
unified split
Changed files
-1
packages
z3
z3.4.14.1
opam
-1
packages/z3/z3.4.14.1/opam 
···

       
25

       
 

       
  "ocaml" {>= "4.08.0"}


     

       
26

       
 

       
  "ocamlfind" {build}


     

       
27

       
 

       
  "zarith"


     

       
28

       
-

       
  "conf-gmp"


     

       
29

       
 

       
  "conf-python-3" {build}


     

       
30

       
 

       
  "conf-c++" {build}


     

       
31

       
 

       
]


     
···

       
25

       
 

       
  "ocaml" {>= "4.08.0"}


     

       
26

       
 

       
  "ocamlfind" {build}


     

       
27

       
 

       
  "zarith"


     

       

       

       
     

       
28

       
 

       
  "conf-python-3" {build}


     

       
29

       
 

       
  "conf-c++" {build}


     

       
30

       
 

       
]