dose3version
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/dose3-5.0.tar.gz sha256=9ec58268688583a7a9777297bec043de0b58b45811d1ca82eb298c3801039521 md5=b65076530d13517db05a2c5e8520b252 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dose3/dose3.5.0/opam |
Required by
- opam-lib>=1.3.0
- opam-solver<2.2.0~alpha