module Challenged: sig
.. end
module Version: Versioning.Debian
val predbar : Common.Util.Progress.t
val label : string
include struct ... end
module Options: sig
.. end
val pkgset : Cudf.universe -> Common.CudfAdd.Cudf_set.t
val exclude : Common.CudfAdd.Cudf_set.t ->
Common.CudfAdd.Cudf_set.elt list -> Common.CudfAdd.Cudf_set.elt list
val dummy : Cudf.package -> string -> Cudf_types.version -> Cudf.package
val upgrade : Debian.Debcudf.tables ->
Common.CudfAdd.Cudf_set.t ->
Cudf.universe ->
Common.CudfAdd.Cudf_set.elt list ->
((Debian.Packages.package * 'a) *
[< `Eq of string
| `Hi of string
| `In of string * string & 'b * Debian.Packages_types.version
| `Lo of string ])
list -> Cudf.universe
val add : ('a, 'b list Pervasives.ref) ExtLib.Hashtbl.t -> 'a -> 'b -> unit
val evalsel : ('a -> int) ->
[< `Eq of 'a | `Hi of 'a | `In of 'b * 'a | `Lo of 'a ] ->
[< `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * 'a -> bool
val strip : string -> string
val version_of_target : ?strip:('a -> 'a) ->
('a -> int) -> [< `Eq of 'a | `Hi of 'a | `In of 'b * 'a | `Lo of 'a ] -> int
val lesser_or_equal : (string -> int) ->
[< `Eq of string
| `Hi of string
| `In of 'a * string & 'b * string & 'c * string
| `Lo of string ] ->
[> `Eq of string ] list -> string -> bool
val pp : Debian.Debcudf.tables ->
Cudf.package ->
Cudf_types.pkgname * Debian.Packages_types.version *
(string * (string * bool)) list
val challenged : ?failure:bool ->
?explain:bool ->
?minimal:bool ->
?downgrades:bool ->
?broken:bool ->
?cluster:bool ->
?clusterlist:(Debian.Packages_types.name * 'a * Debian.Packages_types.version)
list option ->
Debian.Packages.package list ->
(((Debian.Packages_types.name * Debian.Packages_types.version *
Debian.Packages_types.version) *
([ `Eq of Debian.Packages_types.version
| `Hi of Debian.Packages_types.version
| `In of Debian.Packages_types.version * Debian.Packages_types.version
| `Lo of Debian.Packages_types.version ] *
[ `Eq of Debian.Packages_types.version
| `Hi of Debian.Packages_types.version
| `In of Debian.Packages_types.version * Debian.Packages_types.version
| `Lo of Debian.Packages_types.version ] list)) *
int)
list
val latest : Debian.Packages.package list -> Debian.Packages.package list
val main : unit -> int