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

Update packages/herdtools7/herdtools7.7.56.3/opam

Marcello Seri 74a5f18e 4351ca94

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

       
19

       
 

       
  "dune"  {>= "1.4" }


     

       
20

       
 

       
  "menhir" {>= "20200123"}


     

       
21

       
 

       
]


     

       

       

       
     

       
22

       
 

       
url {


     

       
23

       
 

       
  src: "https://github.com/herd/herdtools7/archive/refs/tags/7.56.3.tar.gz"


     

       
24

       
 

       
  checksum: [


     
···

       
19

       
 

       
  "dune"  {>= "1.4" }


     

       
20

       
 

       
  "menhir" {>= "20200123"}


     

       
21

       
 

       
]


     

       
22

       
+

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


     

       
23

       
 

       
url {


     

       
24

       
 

       
  src: "https://github.com/herd/herdtools7/archive/refs/tags/7.56.3.tar.gz"


     

       
25

       
 

       
  checksum: [