this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "HOL-Light to Dedukti/Lambdapi and Coq translator"
3description: "HOL-Light to Dedukti/Lambdapi and Coq translator"
4maintainer: ["Frédéric Blanqui"]
5authors: ["Frédéric Blanqui" "Anthony Bordg"]
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/1.0.0/hol2dk-1.0.0.tbz"
33 checksum: [
34 "sha256=b9a304e56acda8367944c8590497ede7a386850b423432186309f36cc3aaed98"
35 "sha512=80027e2966d0b4192b5c297b6932ce10d7f20890be93e3f20570afb0ecd3b0b8f0ae84438a1f1aca5e8839e157240de8aedc772b3087c79b5c9ff2dca7792e7c"
36 ]
37}
38x-commit-hash: "3330bf799499a8e452fdb5e578f4936ee7c18a25"