dose3version Documentation on ocaml.org
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://gitlab.com/irill/dose3/-/issues |
| Maintainer | pietro.abate@inria.fr |
| Dependencies |
|
| Conflicts |
|
| Source [http] | https://gitlab.com/irill/dose3/-/archive/5.0.1/dose3-5.0.1.tar.gz sha256=2c3d39b8d47cad68676e317028ff8cfbf94fc5be0db02620e91db985d17606d6 md5=a81080f36f477fdebf63c4a979e251cd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dose3/dose3.5.0.1-1/opam |
Required by
- opam-lib
- opam-solver<2.2.0


