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

Update packages/adobe_font_metrics/adobe_font_metrics.1.0.0/opam

Marcello Seri 763757e0 317dad31

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

       
10

       
10

       
 

       
homepage: "https://gitlab.in2p3.fr/pveber/adobe_font_metrics"


     

       
11

       
11

       
 

       
bug-reports: "https://gitlab.in2p3.fr/pveber/adobe_font_metrics/issues"


     

       
12

       
12

       
 

       
depends: [


     

       
13

       

       
-

       
  "ocaml"


     

       

       
13

       
+

       
  "ocaml" {>= "4.14"}


     

       
14

       
14

       
 

       
  "dune" {>= "3.12"}


     

       
15

       
15

       
 

       
  "odoc" {with-doc}


     

       
16

       
16

       
 

       
]