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

Apply suggestions from code review

Marcello Seri 0da6deac a8f0b797

options
unified split
Changed files
+2 -2
packages
dedukti
dedukti.2.7
opam
universo
universo.2.7
opam
+1 -1
packages/dedukti/dedukti.2.7/opam 
···

       
14

       
14

       
 

       
  "menhir" {>= "20180523"}


     

       
15

       
15

       
 

       
]


     

       
16

       
16

       
 

       
build: [


     

       
17

       

       
-

       
  ["dune" "subst"] {pinned}


     

       

       
17

       
+

       
  ["dune" "subst"] {dev}


     

       
18

       
18

       
 

       
  [


     

       
19

       
19

       
 

       
    "dune"


     

       
20

       
20

       
 

       
    "build"
+1 -1
packages/universo/universo.2.7/opam 
···

       
14

       
14

       
 

       
  "dedukti" {= version}


     

       
15

       
15

       
 

       
]


     

       
16

       
16

       
 

       
build: [


     

       
17

       

       
-

       
  ["dune" "subst"] {pinned}


     

       

       
17

       
+

       
  ["dune" "subst"] {dev}


     

       
18

       
18

       
 

       
  [


     

       
19

       
19

       
 

       
    "dune"


     

       
20

       
20

       
 

       
    "build"