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.0/hol2dk-0.0.0.tbz"
33 checksum: [
34 "sha256=17aaba571153eb188524225c4a491a15e749935a38ebf190a5162f9f6563407c"
35 "sha512=aaf26a8d0c6545b655ae18ffdaa65ab11c133e362103677dbc733ad9fa0b60092e05819c15b45bb7b1bda2235c5ec3b869f842c465613688882f961e7a2b7b04"
36 ]
37}
38x-commit-hash: "855a531994c37de0ea3d9cfd00d7b16d1f95920d"