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

Merge pull request #24028 from ocaml/mseri-patch-4

alt-ergo 0.99.1 uses autoconf

Raphaël Proust 591e624a ca57b6b7

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

       
26

       
26

       
 

       
  "zarith"


     

       
27

       
27

       
 

       
  "ocamlgraph" {>= "1.8.2"}


     

       
28

       
28

       
 

       
  "num"


     

       

       
29

       
+

       
  "conf-autoconf"


     

       
29

       
30

       
 

       
]


     

       
30

       
31

       
 

       
messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]


     

       
31

       
32

       
 

       
synopsis: