dose3

Authors { Pietro Abate, Jaap Boender, Roberto Di Cosmo, Johannes Schauer, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Olivier Rosello }
License LGPL-v3+ with OCaml linking exception
Homepage http://www.mancoosi.org/software/
Issue Tracker https://gforge.inria.fr/tracker/?group_id=4395
Maintainer pietro.abate@inria.fr
Dependencies
& conf-perl
cppo >= 1.1.2
cudf >= 0.7
ocamlbuild
ocamlgraph >= 1.8.6
re >= 1.2.2
| extlib >= 1.7.0
extlib-compat >= 1.7.0
Published Aug 16, 2016
Source [http] http://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
e7d4b1840383c6732f29a47c08ba5650
Statistics Installed 85 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/dose3/dose3.5.0.1/opam

Dose library (part of Mancoosi tools)

Necessary for
opam-lib
>= 1.3.0
opam-solver