this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A synchronous language with ODEs"
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 "menhir" {>= "20180523"}
15]
16depopts: ["sundialsml"]
17conflicts: ["sundialsml" {>= "5.8.0p0"}]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "./configure"
22 "--prefix" prefix
23 ]
24 [
25 "dune" "build" "-p" name "-j" jobs
26 "@install"
27 ]
28]
29dev-repo: "git+https://github.com/INRIA/zelus.git"
30url {
31 src: "https://github.com/INRIA/zelus/archive/2.1.tar.gz"
32 checksum: [
33 "sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862"
34 "md5=83fb886e4b14ce286e7a6eb59248be4b"
35 ]
36}