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"
11license: "INRIA Non-Commercial License Agreement"
12depends: [
13 "ocaml" {>= "4.08.1"}
14 "dune" {>= "2.6"}
15 "zelus" {= version}
16 "lablgtk"
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune" "build" "-p" name "-j" jobs
22 "@install"
23 ]
24]
25dev-repo: "git+https://github.com/INRIA/zelus.git"
26url {
27 src: "https://github.com/INRIA/zelus/archive/2.2.tar.gz"
28 checksum: [
29 "md5=437ae922f1fda392efca3e37e8b8bb4c"
30 "sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6"
31 ]
32}