doseversion

Dose library (part of Mancoosi tools)

AuthorsRoberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli, Pietro Abate, Jaap Boender, Jakub Zwolakowski, Olivier Rosello and Johannes Schauer
LicenseLGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Published
Homepagehttp://www.mancoosi.org/software/
Maintainerroberto@dicosmo.org
Dependencies
Source [http] https://gforge.inria.fr/frs/download.php/file/33677/dose3-3.2.2.tar.gz
md5=3ffed1987a040024076c08f4a7af9b21
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/dose/dose.3.2.2/opam
No package is dependent