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/2.0.0/hol2dk-2.0.0.tbz"
33 checksum: [
34 "sha256=1a91f3c3743575506c7e727a8615586182d7a7a40e756da2908890b5e4310fb2"
35 "sha512=14d15456d36a399c8842581bf111575a16c5d64c162b31e9b0f5b57a0ce35ae9cd560ff5164997525f5737bd66a117c1977a6d07302c318c46c6b65be2629e3b"
36 ]
37}
38x-commit-hash: "0059a181e647ba00b2aa8806966fa3b61724ae1b"