this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Zelus GTK library"
3authors: [
4 "Timothy Bourke <timothy.bourke@inria.fr>"
5 "Marc Pouzet <marc.pouzet@ens.fr>"
6 ]
7maintainer: ["Marc Pouzet <marc.pouzet@ens.fr>"]
8homepage: "http://zelus.di.ens.fr"
9doc: "http://zelus.di.ens.fr/man/"
10bug-reports: "https://github.com/INRIA/zelus/issues"
11depends: [
12 "ocaml" {>= "4.08.1"}
13 "dune" {>= "2.6"}
14 "zelus" {= version}
15 "lablgtk"
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune" "build" "-p" name "-j" jobs
21 "@install"
22 ]
23]
24dev-repo: "git+https://github.com/INRIA/zelus.git"
25url {
26 src: "https://github.com/INRIA/zelus/archive/2.1.tar.gz"
27 checksum: [
28 "sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862"
29 "md5=83fb886e4b14ce286e7a6eb59248be4b"
30 ]
31}