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

alt-ergo <= 1.1 is not compatible with ocaml5

```
File "src/structures/ty.ml", line 178, characters 33-51:
178 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2
^^^^^^^^^^^^^^^^^^
Error: Unbound module Pervasives
```

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

mseri.me 2ab36702 f51e26b7

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

       
22

       
 

       
]


     

       
23

       
 

       



     

       
24

       
 

       
depends: [


     

       
25

       
-

       
  "ocaml"


     

       
26

       
 

       
  "zarith"


     

       
27

       
 

       
  "ocamlgraph" {>= "1.8.2"}


     

       
28

       
 

       
  "num"


     
···

       
22

       
 

       
]


     

       
23

       
 

       



     

       
24

       
 

       
depends: [


     

       
25

       
+

       
  "ocaml" {<"5.0"}


     

       
26

       
 

       
  "zarith"


     

       
27

       
 

       
  "ocamlgraph" {>= "1.8.2"}


     

       
28

       
 

       
  "num"
+1 -1
packages/alt-ergo/alt-ergo.0.99.1/opam 
···

       
22

       
 

       
]


     

       
23

       
 

       



     

       
24

       
 

       
depends: [


     

       
25

       
-

       
  "ocaml"


     

       
26

       
 

       
  "zarith"


     

       
27

       
 

       
  "ocamlgraph" {>= "1.8.2"}


     

       
28

       
 

       
  "num"


     
···

       
22

       
 

       
]


     

       
23

       
 

       



     

       
24

       
 

       
depends: [


     

       
25

       
+

       
  "ocaml" {<"5.0"}


     

       
26

       
 

       
  "zarith"


     

       
27

       
 

       
  "ocamlgraph" {>= "1.8.2"}


     

       
28

       
 

       
  "num"
+5 -1
packages/alt-ergo/alt-ergo.1.01/opam 
···

       
22

       
 

       
	["rm" "%{man}%/man1/alt-ergo.1"]


     

       
23

       
 

       
]


     

       
24

       
 

       



     

       
25

       
-

       
depends: ["ocaml" "zarith" "num"]


     

       

       

       
     

       

       

       
     

       

       

       
     

       

       

       
     

       
26

       
 

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


     

       
27

       
 

       
synopsis: "Alt-Ergo, an SMT Solver for Software Verification"


     

       
28

       
 

       
description: """


     
···

       
22

       
 

       
	["rm" "%{man}%/man1/alt-ergo.1"]


     

       
23

       
 

       
]


     

       
24

       
 

       



     

       
25

       
+

       
depends: [


     

       
26

       
+

       
  "ocaml" {<"5.0"}


     

       
27

       
+

       
  "zarith"


     

       
28

       
+

       
  "num"


     

       
29

       
+

       
]


     

       
30

       
 

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


     

       
31

       
 

       
synopsis: "Alt-Ergo, an SMT Solver for Software Verification"


     

       
32

       
 

       
description: """