this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "HOL-Light to Dedukti/Lambdapi translator"
3description: "HOL-Light to Dedukti/Lambdapi translator"
4maintainer: ["Frédéric Blanqui"]
5authors: ["Frédéric Blanqui"]
6license: "CeCILL-2.1"
7homepage: "https://github.com/Deducteam/hol2dk"
8doc: "https://github.com/Deducteam/hol2dk/blob/master/README.md"
9bug-reports: "https://github.com/Deducteam/hol2dk/issues"
10depends: [
11 "ocaml" {>= "4.13"}
12 "dune" {>= "3.7"}
13 "odoc" {with-doc}
14]
15build: [
16 ["dune" "subst"] {dev}
17 [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "@install"
25 "@runtest" {with-test}
26 "@doc" {with-doc}
27 ]
28]
29dev-repo: "git+https://github.com/Deducteam/hol2dk.git"
30url {
31 src:
32 "https://github.com/Deducteam/hol2dk/releases/download/0.0.1/hol2dk-0.0.1.tbz"
33 checksum: [
34 "sha256=e1d729676f01c0fdfcffaa06be212caa80316dcdccdea77fe3c0973c14fe641d"
35 "sha512=7be0c83ef0356ce18889f447a1183c4ec5373c2a47291ceb9c75d426fe159cd824db95b01285f8da805fbd002fdcb91cb59666e31535c3c84cac92075feefd63"
36 ]
37}
38x-commit-hash: "adf49ef619beb9670c41e86eb2cfe8bf809aeb6a"