doseversion
Dose library (part of Mancoosi tools)
| Authors | Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli, Pietro Abate, Jaap Boender, Jakub Zwolakowski, Olivier Rosello and Johannes Schauer |
|---|---|
| License | LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | http://www.mancoosi.org/software/ |
| Maintainer | roberto@dicosmo.org |
| Dependencies |
|
| Source [http] | https://gforge.inria.fr/frs/download.php/file/33677/dose3-3.2.2.tar.gz md5=3ffed1987a040024076c08f4a7af9b21 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dose/dose.3.2.2/opam |
No package is dependent
