opam - zelus.2.1

Authors	Timothy Bourke <timothy.bourke@inria.fr> and Marc Pouzet <marc.pouzet@ens.fr>
Published	Jan 12, 2021
Homepage	http://zelus.di.ens.fr
Issue Tracker	https://github.com/INRIA/zelus/issues
Maintainer	Marc Pouzet <marc.pouzet@ens.fr>
Dependencies	ocaml>=4.08.1 dune>=2.6 menhir>=20180523
Optional dependencies	sundialsml
Conflicts	sundialsml>=5.8.0p0
Source [http]	https://github.com/INRIA/zelus/archive/2.1.tar.gz md5=83fb886e4b14ce286e7a6eb59248be4b
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/zelus/zelus.2.1/opam

Required by

zelusversion 2.1 2.12.2 (latest)