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

Update packages/hol2dk/hol2dk.1.0.0/opam

Marcello Seri 1483b78b 0758a2c8

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

       
5

       
5

       
 

       
authors: ["Frédéric Blanqui" "Anthony Bordg"]


     

       
6

       
6

       
 

       
license: "CeCILL-2.1"


     

       
7

       
7

       
 

       
homepage: "https://github.com/Deducteam/hol2dk"


     

       

       
8

       
+

       
doc: "https://github.com/Deducteam/hol2dk/blob/master/README.md"


     

       
8

       
9

       
 

       
bug-reports: "https://github.com/Deducteam/hol2dk/issues"


     

       
9

       
10

       
 

       
depends: [


     

       
10

       
11

       
 

       
  "ocaml" {>= "4.13"}