package dose3

  1. Overview
  2. Docs
Dose library (part of Mancoosi tools)

Install 

dune-project
 Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

  1. P
    Pietro Abate
  2. J
    Jaap Boender
  3. R
    Roberto Di Cosmo
  4. J
    Johannes Schauer
  5. R
    Ralf Treinen
  6. S
    Stefano Zacchiroli
  7. J
    Jakub Zwolakowski
  8. O
    Olivier Rosello

Maintainers

  1. P
    pietro.abate@inria.fr

Sources

dose3-5.0.1.tar.gz
sha256=2c3d39b8d47cad68676e317028ff8cfbf94fc5be0db02620e91db985d17606d6
md5=a81080f36f477fdebf63c4a979e251cd

Description

Added to opam-repository:

Dependencies (9)

  1. cppo build & >= "1.1.2"
  2. ocamlbuild build
  3. ocamlfind build
  4. re >= "1.2.2"
  5. extlib-compat >= "1.7.0"
  6. extlib >= "1.7.0" & < "1.7.8"
  7. cudf >= "0.7" & < "0.11~"
  8. ocamlgraph >= "1.8.6"
  9. ocaml

Dev Dependencies

None

Used by (2)

  1. opam-lib
  2. opam-solver < "2.2.0"

Conflicts (1)

  1. dose