module Challenged: sig
.. end
val predbar : Common.Util.Progress.t
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.Format822.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.Format822.version * (string * string) list
val challenged : ?downgrades:bool ->
?broken:bool ->
?cluster:bool ->
?clusterlist:(Debian.Format822.name * 'a * Debian.Format822.version) list
option ->
Debian.Packages.package list ->
(((Debian.Format822.name * Debian.Format822.version *
Debian.Format822.version) *
([ `Eq of Debian.Format822.version
| `Hi of Debian.Format822.version
| `In of Debian.Format822.version * Debian.Format822.version
| `Lo of Debian.Format822.version ] *
[ `Eq of Debian.Format822.version
| `Hi of Debian.Format822.version
| `In of Debian.Format822.version * Debian.Format822.version
| `Lo of Debian.Format822.version ] list)) *
int)
list
val main : unit -> int