Dose_debian.AptApt command line parsing
type apt_req = | Install of Dose_pef.Packages_types.vpkgreq list |
| Remove of Dose_pef.Packages_types.vpkgreq list |
| Upgrade of Dose_pef.Packages_types.suite option |
| DistUpgrade of Dose_pef.Packages_types.suite option |
val parse_req : string -> string -> Dose_pef.Packages_types.vpkgreqval parse_pkg_req : Dose_pef.Packages_types.suite option -> string -> Dose_pef.Packages_types.action option * ((string * Dose_pef.Packages_types.architecture option) * Dose_pef.Packages_types.constr option) * Dose_pef.Packages_types.suite optionval parse_request_apt : string -> apt_reqparse a string containing an apt-get command line
val parse_request_aptitude : string -> apt_reqmodule Pref : sig ... endfor details on the apt_preferences format : man apt_preferences
val parse_pref_package : ('a * ('b * string)) -> Pref.package_tval parse_pin : ('a * ('b * string)) -> Pref.pin_tval parse_preferences_stanza : Dose_extra.Format822.stanza -> Pref.apt_preferencesval preferences_parser : (Dose_extra.Format822.stanza -> 'a) -> 'a list -> Dose_extra.Format822.f822_parser -> 'a listval parse_preferences_in : IO.input -> Pref.apt_preferences listparse the apt_preferences file