OpamAdminCheckSourceval installability_check :
OpamTypes.universe ->
OpamTypes.package_set * OpamTypes.package_setAnalyses a given package universe, and returns uninstallable_roots,uninstallable. The first is a subset of the second, where internal dependents have been removed.
Analyses a universe for dependency cycles. Returns the set of packages involved, and the cycles (reduced to formula lists)
val check :
quiet:bool ->
installability:bool ->
cycles:bool ->
obsolete:bool ->
ignore_test:bool ->
OpamTypes.dirname ->
OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_setRuns checks on the repository at the given repository. Returns all_packages, uninstallable_roots, uninstallable, cycle_packages, obsolete_packages. If the corresponding option was disabled, the returned sets are empty.
val get_obsolete :
OpamTypes.universe ->
OpamFile.OPAM.t OpamTypes.package_map ->
OpamTypes.package_setReturns a subset of "obsolete" packages, i.e. packages for which a strictly better version exists