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

Update opam file (new minimal versions of menhir and zarith)

maranget b5f18ad2 a1bf08c2

options
unified split
Changed files
+2 -2
packages
herdtools7
herdtools7.7.58
opam
+2 -2
packages/herdtools7/herdtools7.7.58/opam 
···

       
17

       
17

       
 

       
depends: [


     

       
18

       
18

       
 

       
  "ocaml" {>= "4.08.0"}


     

       
19

       
19

       
 

       
  "dune"  {>= "2.7" }


     

       
20

       

       
-

       
  "menhir" {>= "20180530"}


     

       
21

       

       
-

       
  "zarith" {>= "1.10"}


     

       

       
20

       
+

       
  "menhir" {>= "20200123"}


     

       

       
21

       
+

       
  "zarith" {>= "1.13"}


     

       
22

       
22

       
 

       
  "conf-which"


     

       
23

       
23

       
 

       
]


     

       
24

       
24

       
 

       
conflicts: ["ocaml-option-bytecode-only"]