dose-outdated(1) [debian man page]

OUTDATED(1)							    DOSE Tools							       OUTDATED(1)

NAME

       dose--outdated - detect uninstallable packages due to obsolete dependencies

SYNOPSIS

       dose--outdated [option] ... file ...

DESCRIPTION

       dose-outdated identifies in a debian package repository those packages that are not installable with respect to that repository by the
       their inter-package relationships (dependencies, conflicts, ...), and that furthermore cannot become installable (in the current version)
       how matter how the rest of the repository evolves. This means that this package has to be updated in the repository to ever become
       installable again.

Input Specification
       Input files have to contain stanzas in the format of deb-control(5), separated by one blank line. For instance, the Packages files as found
       on a Debian mirror server, or in the directory /var/lib/apt/lists/ of a Debian system, are suitable as input. The repository used in the
       analysis consists of the union of all packages from the input files.

Output Specification
       The output of dose-outdated is in the YAML format.

OPTIONS

       -f --failure
	       Print the list of broken packages

       -e --explain
	       Explain the results in more detail.

       -s      Print a summary of broken packages.

       --dump  Dump to standard output in CUDF format the packages that are internally generated and exit (mostly useful for debugging purposes).

       --checkonly package[,package] ...
	       Specifies a list of packages to check. By default all packages are checked.

       -v      Enable info / warnings / debug messages. This option may be repeated up to three times in order to increase verbosity.

       --progress
	       Display progress bars.

       -h, --help
	       Display this list of options.

EXAMPLE

	dose-outdated -f -v /var/lib/apt/lists/ftp.fr.debian.org_debian_dists_sid_main_binary-amd64_Packages

AUTHORS

       Pietro Abate and Ralf Treinen

SEE ALSO

       dose-distcheck(5) dose-challenged(5)

       <http://www.mancoosi.org> is the home page of the Mancoosi project.

dose3 3.0.2							    2012-10-03							       OUTDATED(1)

EDOS-RPMCHECK(1)					      General Commands Manual						  EDOS-RPMCHECK(1)

NAME

       Edos-pscheck - Check satisfiability of pkgsrc package dependencies

SYNOPSIS

       edos-pscheck [option] ... pkg-summary-file

DESCRIPTION

       edos-pscheck  reads  package descriptions from a file in the pkg_summary format of NetBSD.  We say that a package is identified by the pair
       consisting of the package name and of the package version.

       A package (called goal) is called installable with respect to a set of packages if there exists a subset of the packages that
	- contains at most one version for each package name
	- contains the goal package (in any version, or a specific version)
	- all packages of the subset have their dependencies and conflicts satisfied in this subset.

       Edos-psmcheck checks whether every package in the set is installable with respect to the input set of packages. Specific  versions  can	be
       specified  by following the package name with the sign '=' and the version of the package (for instance, 'xemacs21=21.4.17-1'). If no pack-
       age name is given as argument then all packages of the input set are checked for satisfiability.

       The constraint solving algorithm is complete, that is it finds a solution whenever there exists one, even for multiple  disjunctive  depen-
       dencies	and  deep  package  conflicts. This problem is computationally infeasible in theory (that is, NP-complete), but can in practice be
       solved very efficiently.

OPTIONS

       -explain
	      Explain the results

       -rules Print generated rules

       -failures
	      Only show failures

       -successes
	      Only show successes

       -base file
	      Specifiy an additional file providing packages that are not checked but used for resolving dependencies

       -quiet Supress warnings and progress/timing messages

       -xml   Output results in XML format

       -help, --help
	      Display this list of options

EXAMPLE

       Check which packages in a particular distribution are not installable and why:

	 edos-pscheck -failures -explain pkg_summary

       where pkg_summary is the file pertaining to that distribution.

AUTHOR

       Edos-pscheck has been written by Jerome Vouillon and Jaap Boender for the EDOS and Mancoosi projects. This man-page has	been  compiled	by
       Ralf Treinen.

SEE ALSO

       <http://www.edos-project.org> is the home page of the EDOS project.

       edos-debcheck(1) and edos-rpmcheck(1) are the analogous tool for debian and rpm packages.

EDOS
								    2009-05-25							  EDOS-RPMCHECK(1)