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

alt-ergo-free 2.2.0 is not compatible with ocaml5

```
File "/home/opam/.opam/5.0/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/myUnix.ml", line 19, characters 7-22:
19 | if Pervasives.(<>) timelimit 0. then
^^^^^^^^^^^^^^^
Error: Unbound module Pervasives
```

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

mseri.me f51e26b7 38206ae4

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

       
26

       
26

       
 

       
]


     

       
27

       
27

       
 

       



     

       
28

       
28

       
 

       
depends: [


     

       
29

       

       
-

       
  "ocaml" {>= "4.04.0"}


     

       

       
29

       
+

       
  "ocaml" {>= "4.04.0" & < "5.0"}


     

       
30

       
30

       
 

       
  "num"


     

       
31

       
31

       
 

       
  "zarith" {>= "1.4"}


     

       
32

       
32

       
 

       
  "camlzip"