commit 9c7d0f43afa2a3e36864e99fc0c7963ef8365301 · anil.recoil.org/opam-repository

anil.recoil.org / opam-repository

this repo has no description

fork atom

coq-waterproof: cleanup opam file

Marcello Seri 2 years ago 9c7d0f43 4622dfc6

options

unified split

Changed files

+1 -5

packages

coq-waterproof

coq-waterproof.2.1.1+8.18

opam

+1 -5

packages/coq-waterproof/coq-waterproof.2.1.1+8.18/opam

···

       28
       28
        
       ]

     

       29
       29
        
       

     

       30
       30
        
       build: [

     

       31
       31
       -
         ["dune" "build" "-p" "coq-waterproof" "@install"]

     

       32
       32
       -
       ]

     

       33
       33
       -
       

     

       34
       34
       -
       install: [

     

       35
       35
       -
         ["dune" "install" "-p" "coq-waterproof"]

     

       31
       31
       +
         ["dune" "build" "-p" name "-j" jobs "@install"]

     

       36
       32
        
       ]

     

       37
       33
        
       

     

       38
       34
        
       available: arch != "s390x"