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

Update packages/elpi-option-legacy-parser/elpi-option-legacy-parser.1/opam

Kate e6972571 0119dfbe

options
unified split
Changed files
+1 -1
packages
elpi-option-legacy-parser
elpi-option-legacy-parser.1
opam
+1 -1
packages/elpi-option-legacy-parser/elpi-option-legacy-parser.1/opam 
···

       
8

       
8

       
 

       
bug-reports: "https://github.com/LPCIC/elpi/issues"


     

       
9

       
9

       
 

       



     

       
10

       
10

       
 

       
depends: [


     

       
11

       

       
-

       
  "elpi" {post}


     

       

       
11

       
+

       
  "elpi" {post & >= "1.15.2"}


     

       
12

       
12

       
 

       
  "camlp5" {> "7.99"}


     

       
13

       
13

       
 

       
  "ocaml" {< "4.14.0" }


     

       
14

       
14

       
 

       
]