dose3version

Dose library (part of Mancoosi tools)

AuthorsPietro Abate, Jaap Boender, Roberto Di Cosmo, Johannes Schauer, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski and Olivier Rosello
LicenseLGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Published
Homepagehttp://www.mancoosi.org/software/
Issue Trackerhttps://gitlab.com/irill/dose3/-/issues
Maintainerpietro.abate@inria.fr
Dependencies
Conflicts
Source [http] https://gitlab.com/irill/dose3/-/archive/4.3/dose3-4.3.tar.gz
sha256=a075c86c01e501761d2d63052facb85acc6957f5e4a65e10ad7da47881131370
md5=dd2ba7bb01acfd2e9c3e0c98d438576b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/dose3/dose3.4.3/opam
No package is dependent