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

Merge pull request #26175 from Niols/fix-morbig-0.11.0

Fix installation of Morbig 0.11.0

Marcello Seri 25bf4914 55462e82

options
unified split
Changed files
+1
packages
morbig
morbig.0.11.0
opam
+1
packages/morbig/morbig.0.11.0/opam 
···

       
33

       
 

       
]


     

       
34

       
 

       



     

       
35

       
 

       
build: [make "build"]


     

       

       

       
     

       
36

       
 

       
run-test: [make "check"]


     

       
37

       
 

       



     

       
38

       
 

       
url {


     
···

       
33

       
 

       
]


     

       
34

       
 

       



     

       
35

       
 

       
build: [make "build"]


     

       
36

       
+

       
install: [make "install"]


     

       
37

       
 

       
run-test: [make "check"]


     

       
38

       
 

       



     

       
39

       
 

       
url {