commit 6ed19e325e5016a43606d8073ca73998f9ebf68f · anil.recoil.org/opam-repository

anil.recoil.org / opam-repository

this repo has no description

fork atom

Merge pull request #25878 from raphael-proust/alt-ergo-not-bytecode-only

alt-ergo build requires native compiler

Marcello Seri 2 years ago 6ed19e32 708348ff

options

unified split

Changed files

packages

alt-ergo

alt-ergo.2.4.2

opam

packages/alt-ergo/alt-ergo.2.4.2/opam

···

       33
        
         ["dune" "subst"] {dev}

     

       34
        
         ["dune" "build" "-p" name "-j" jobs]

     

       35
        
       ]

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       36
        
       url {

     

       37
        
         src: "https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz"

     

       38
        
         checksum: [

···

       33
        
         ["dune" "subst"] {dev}

     

       34
        
         ["dune" "build" "-p" name "-j" jobs]

     

       35
        
       ]

     

       36
       +
       conflicts: [

     

       37
       +
         "ocaml-option-bytecode-only"

     

       38
       +
       ]

     

       39
        
       url {

     

       40
        
         src: "https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz"

     

       41
        
         checksum: [