commit a82f3654467db94042a513efaf1f32593c999b12 · anil.recoil.org/opam-repository

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.4.3/opam

···

       38
       38
        
       

     

       39
       39
        
       build: [

     

       40
       40
        
         ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]

     

       41
       41
       -
         ["dune" "subst"] {pinned}

     

       41
       41
       +
         ["dune" "subst"] {dev}

     

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

     

       43
       43
        
       ]

     

       44
       44
        
       url {

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.4.3/opam

···

       36
       36
        
       

     

       37
       37
        
       build: [

     

       38
       38
        
         ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]

     

       39
       39
       -
         ["dune" "subst"] {pinned}

     

       39
       39
       +
         ["dune" "subst"] {dev}

     

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

     

       41
       41
        
       ]

     

       42
       42
        
       url {

+1 -1

packages/alt-ergo/alt-ergo.2.4.3/opam

···

       33
       33
        
       

     

       34
       34
        
       build: [

     

       35
       35
        
         ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]

     

       36
       36
       -
         ["dune" "subst"] {pinned}

     

       36
       36
       +
         ["dune" "subst"] {dev}

     

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

     

       38
       38
        
       ]

     

       39
       39
        
       url {

+1 -1

packages/altgr-ergo/altgr-ergo.2.4.3/opam

···

       38
       38
        
       

     

       39
       39
        
       build: [

     

       40
       40
        
         ["ocaml" "unix.cma" "configure.ml" name "--prefix" prefix "--libdir" lib "--mandir" man]

     

       41
       41
       -
         ["dune" "subst"] {pinned}

     

       41
       41
       +
         ["dune" "subst"] {dev}

     

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

     

       43
       43
        
       ]

     

       44
       44
        
       url {