dose3

AuthorsPietro Abate, Jaap Boender, Roberto Di Cosmo, Johannes Schauer, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski and Olivier Rosello
LicenseLGPL-v3+ with OCaml linking exception
Homepagehttp://www.mancoosi.org/software/
Issue Trackerhttps://gforge.inria.fr/tracker/?group_id=4395
Maintainerpietro.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
PublishedAug 16, 2016
Source [http] https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
e7d4b1840383c6732f29a47c08ba5650
StatisticsInstalled 105 times last month.
Edithttps://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