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

Update packages/herdtools7/herdtools7.7.57/opam

Marcello Seri 5d32b6cf f080f34f

options
unified split
Changed files
+1
packages
herdtools7
herdtools7.7.57
opam
+1
packages/herdtools7/herdtools7.7.57/opam 
···

       
19

       
 

       
  "dune"  {>= "2.7" }


     

       
20

       
 

       
  "menhir" {>= "20200123"}


     

       
21

       
 

       
  "zarith" {>= "1.10"}


     

       

       

       
     

       
22

       
 

       
]


     

       
23

       
 

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


     

       
24

       
 

       
url {


     
···

       
19

       
 

       
  "dune"  {>= "2.7" }


     

       
20

       
 

       
  "menhir" {>= "20200123"}


     

       
21

       
 

       
  "zarith" {>= "1.10"}


     

       
22

       
+

       
  "conf-which"


     

       
23

       
 

       
]


     

       
24

       
 

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


     

       
25

       
 

       
url {