Dose_debian.EdspRepresentation of a apt-get <-> solvers protocol edsp > 0.4
type 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