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

Update packages/trs/trs.1.0.0/opam

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

Yajima c5e83bd4 f75a46f9

options
unified split
Changed files
+1 -1
packages
trs
trs.1.0.0
opam
+1 -1
packages/trs/trs.1.0.0/opam 
···

       
11

       
 

       
bug-reports: "https://github.com/jajimajp/trs/issues"


     

       
12

       
 

       
depends: [


     

       
13

       
 

       
  "ocaml" {>= "4.12.0"}


     

       
14

       
-

       
  "dune" {>= "3.7" & >= "3.7"}


     

       
15

       
 

       
  "menhir" {>= "20211012"}


     

       
16

       
 

       
  "odoc" {with-doc}


     

       
17

       
 

       
]


     
···

       
11

       
 

       
bug-reports: "https://github.com/jajimajp/trs/issues"


     

       
12

       
 

       
depends: [


     

       
13

       
 

       
  "ocaml" {>= "4.12.0"}


     

       
14

       
+

       
  "dune" {>= "3.7"}


     

       
15

       
 

       
  "menhir" {>= "20211012"}


     

       
16

       
 

       
  "odoc" {with-doc}


     

       
17

       
 

       
]