package dose3-extra

  1. Overview
  2. Docs
Dose-extra libraries and tools (part of Mancoosi tools)

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

  1. P
    Pietro Abate
  2. J
    Johannes Schauer Marin Rodrigues
  3. R
    Ralf Treinen

Sources

dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

doc/dose3-extra.opam2/Dose_opam2/Packages/class-package/index.html

Class Packages.packageSource

method switch : string list
method installedlist : string list
method pinnedlist : string list
method baselist : string list
method extras : (string * string) list
method get_extra : string -> string
method set_extras : (string * string) list -> 'a
method set_installed : Dose_pef.Packages_types.installed -> 'a
method add_extra : string -> string -> 'a
method pp : out_channel -> unit