Dose_debian.EdspRepresentation of a apt-get <-> solvers protocol edsp > 0.4
include sig ... endtype request = {request : string;install : Dose_pef.Packages_types.vpkg list;remove : Dose_pef.Packages_types.vpkg list;architecture : Dose_pef.Packages_types.architecture option;architectures : Dose_pef.Packages_types.architectures;autoremove : bool;upgrade : bool;distupgrade : bool;strict_pin : bool;preferences : string;cmdline : string;}val default_request : requestval from_apt_request :
Dose_pef.Packages_types.architecture option ->
request ->
Apt.apt_req ->
requestval parse_req :
(string * (Dose_extra.Format822.loc * string)) ->
Dose_pef.Packages_types.vpkg listval parse_request_stanza : Dose_extra.Format822.stanza -> requestval parse_installed : string -> Dose_extra.Format822.stanza -> stringval parse_hold : string -> Dose_extra.Format822.stanza -> stringval parse_apt_id : string -> Dose_extra.Format822.stanza -> stringval parse_apt_pin : string -> Dose_extra.Format822.stanza -> stringval parse_automatic : string -> Dose_extra.Format822.stanza -> stringval parse_candidate : string -> Dose_extra.Format822.stanza -> stringval parse_section : string -> Dose_extra.Format822.stanza -> stringval extras :
(string * (string -> Dose_extra.Format822.stanza -> string) option) listval packages_parser :
?request:bool ->
(request * Packages.package list) ->
Dose_extra.Format822.f822_parser ->
request * Packages.package listval input_raw_ch : IO.input -> request * Packages.package listval input_raw : string -> request * Packages.package listval tocudf :
Debcudf.tables ->
?options:Debcudf.options ->
Packages.package ->
Cudf.packageval requesttocudf : Debcudf.tables -> Cudf.universe -> request -> Cudf.request