Opam Package dose3.5.0.1-1

Package info

opam-namedose3
opam-version5.0.1-1
synopsisDose library (part of Mancoosi tools)
authors
  • Pietro Abate
  • Jaap Boender
  • Roberto Di Cosmo
  • Johannes Schauer
  • Ralf Treinen
  • Stefano Zacchiroli
  • Jakub Zwolakowski
  • Olivier Rosello
homepagehttp://www.mancoosi.org/software/
licenseLGPL-3.0-or-later with OCaml-LGPL-linking-exception
deps (8)
revdeps (2)
metas (12)
libraries (10)

Package modules

Package sources

dose3

Package files

lib/dose3/versioning.cmxs
lib/dose3/versioning.cmxa
lib/dose3/versioning.cmx
lib/dose3/versioning.cmi
lib/dose3/versioning.cma
lib/dose3/versioning.a
lib/dose3/pef.cmxs
lib/dose3/pef.cmxa
lib/dose3/pef.cmx
lib/dose3/pef.cmi
lib/dose3/pef.cma
lib/dose3/pef.a
lib/dose3/opam.cmxs
lib/dose3/opam.cmxa
lib/dose3/opam.cmx
lib/dose3/opam.cmi
lib/dose3/opam.cma
lib/dose3/opam.a
lib/dose3/npm.cmxs
lib/dose3/npm.cmxa
lib/dose3/npm.cmx
lib/dose3/npm.cmi
lib/dose3/npm.cma
lib/dose3/npm.a
lib/dose3/doseparseNoRpm.cmxs
lib/dose3/doseparseNoRpm.cmxa
lib/dose3/doseparseNoRpm.cmx
lib/dose3/doseparseNoRpm.cmi
lib/dose3/doseparseNoRpm.cma
lib/dose3/doseparseNoRpm.a
lib/dose3/doseparse.cmxs
lib/dose3/doseparse.cmxa
lib/dose3/doseparse.cmx
lib/dose3/doseparse.cmi
lib/dose3/doseparse.cma
lib/dose3/doseparse.a
lib/dose3/debian.cmxs
lib/dose3/debian.cmxa
lib/dose3/debian.cmx
lib/dose3/debian.cmi
lib/dose3/debian.cma
lib/dose3/debian.a
lib/dose3/csw.cmxs
lib/dose3/csw.cmxa
lib/dose3/csw.cmx
lib/dose3/csw.cmi
lib/dose3/csw.cma
lib/dose3/csw.a
lib/dose3/common.cmxs
lib/dose3/common.cmxa
lib/dose3/common.cmx
lib/dose3/common.cmi
lib/dose3/common.cma
lib/dose3/common.a
lib/dose3/algo.cmxs
lib/dose3/algo.cmxa
lib/dose3/algo.cmx
lib/dose3/algo.cmi
lib/dose3/algo.cma
lib/dose3/algo.a
lib/dose3/META
lib/dose3