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

Update opam

Antonio Nuno Monteiro 6b53dc3a 372987dc

options
unified split
Changed files
-1
packages
rtop
rtop.3.10.0
opam
-1
packages/rtop/rtop.3.10.0/opam 
···

       
28

       
 

       
    jobs


     

       
29

       
 

       
    "--promote-install-files=false"


     

       
30

       
 

       
    "@install"


     

       
31

       
-

       
    "@runtest" {with-test}


     

       
32

       
 

       
    "@doc" {with-doc}


     

       
33

       
 

       
  ]


     

       
34

       
 

       
  ["dune" "install" "-p" name "--create-install-files" name]


     
···

       
28

       
 

       
    jobs


     

       
29

       
 

       
    "--promote-install-files=false"


     

       
30

       
 

       
    "@install"


     

       

       

       
     

       
31

       
 

       
    "@doc" {with-doc}


     

       
32

       
 

       
  ]


     

       
33

       
 

       
  ["dune" "install" "-p" name "--create-install-files" name]