this repo has no description
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"
11license: "INRIA Non-Commercial License Agreement"
12depends: [
13 "ocaml" {>= "4.08.1"}
14 "dune" {>= "2.6"}
15 "menhir" {>= "20180523"}
16]
17depopts: ["sundialsml"]
18conflicts: ["sundialsml" {>= "5.8.0p0"}]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "./configure"
23 "--prefix" prefix
24 ]
25 [
26 "dune" "build" "-p" name "-j" jobs
27 "@install"
28 ]
29]
30dev-repo: "git+https://github.com/INRIA/zelus.git"
31url {
32 src: "https://github.com/INRIA/zelus/archive/2.2.tar.gz"
33 checksum: [
34 "md5=437ae922f1fda392efca3e37e8b8bb4c"
35 "sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6"
36 ]
37}