package dose3

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

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

Authors

P

Pietro Abate
R

Ralf Treinen
J

Jaap Boender
J

Johannes Schauer Marin Rodrigues
R

Roberto Di Cosmo
F

Felipe Garay
S

Stefano Zacchiroli
J

Jakub Zwolakowski
O

Olivier Rosello

Maintainers

P

Pietro Abate
J

Johannes Schauer Marin Rodrigues
R

Ralf Treinen

Sources

dose3-6.1.tar.gz

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

doc/src/dose3.opam2/dose_opam2.ml.html

Source file `dose_opam2.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Dose_opam2.Opamcudf *)
module Opamcudf = Dose_opam2__Opamcudf

(** @canonical Dose_opam2.Packages *)
module Packages = Dose_opam2__Packages

package dose3

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/dose3.opam2/dose_opam2.ml.html

Source file dose_opam2.ml

Source file `dose_opam2.ml`