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

Install

www.mancoosi.org Edit opam file

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
md5=a81080f36f477fdebf63c4a979e251cd

Description

Published: 03 Nov 2022

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"
  8. ocamlgraph >= "1.8.6"
  9. ocaml

Dev Dependencies

None

Used by (2)

  1. opam-lib >= "1.3.0"
  2. opam-solver

Conflicts (1)

  1. dose