package dose3-extra

You can search for identifiers within the package.

in-package search v0.2.0

Dose-extra libraries and tools (part of Mancoosi tools)

Install

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

method name : Dose_pef.Packages_types.name

method version : Dose_pef.Packages_types.version

method conflicts : Dose_pef.Packages_types.vpkglist

method depends : Dose_pef.Packages_types.vpkgformula

method provides : Dose_pef.Packages_types.vpkglist

method installed : Dose_pef.Packages_types.installed

method recommends : Dose_pef.Packages_types.vpkgformula

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