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

Merge pull request #23882 from LasseBlaauwbroek/dune-coq-incompat

Mark Dune 3.8.0 as incompatible with Coq < 8.13

anil.recoil.org c35e6e94 18892575

options
unified split
Changed files
+1
packages
dune
dune.3.8.0
opam
+1
packages/dune/dune.3.8.0/opam 
···

       
46

       
 

       
  "base-unix"


     

       
47

       
 

       
  "base-threads"


     

       
48

       
 

       
]


     

       

       

       
     

       
49

       
 

       
url {


     

       
50

       
 

       
  src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"


     

       
51

       
 

       
  checksum: [


     
···

       
46

       
 

       
  "base-unix"


     

       
47

       
 

       
  "base-threads"


     

       
48

       
 

       
]


     

       
49

       
+

       
conflicts: [ "coq" {< "8.13"} ]


     

       
50

       
 

       
url {


     

       
51

       
 

       
  src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"


     

       
52

       
 

       
  checksum: [