doseversion
Dose library (part of Mancoosi tools)
| Authors | Pietro Abate, Jaap Boender, Roberto Di Cosmo, Johannes Schauer, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski and Olivier Rosello |
|---|---|
| License | LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | http://www.mancoosi.org/software/ |
| Issue Tracker | https://gforge.inria.fr/tracker/?group_id=4395 |
| Maintainer | pietro.abate@pps.univ-paris-diderot.fr |
| Dependencies |
|
| Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/dose3-4.1.tar.gz md5=a571c85a3bd0ed4a3ef9450880e2e92d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dose/dose.3.4.1/opam |
No package is dependent
