1DOSE-DISTCHECK(1) DOSE Tools DOSE-DISTCHECK(1)
2
6 distcheck - check installability of packages according to metadata
7
9 distcheck [option] ... uri
10 debcheck [option] ... [file]
11 rpmcheck [option] ... [file]
12 eclipsecheck [option] ... [file]
13
15 distcheck determines, for a set of package control stanzas, called the
16 repository, whether packages of the repository can be installed
17 relative to the repository according to the inter-package
18 relationsships expressed in the package control stanzas. The exact set
19 of relevant control fields and their meaning depends on the type of the
20 repository. The constraint solving algorithm is complete, that is it
21 finds a solution whenever there exists one, even for multiple
22 disjunctive dependencies and deep package conflicts. This problem is
23 computationally infeasible in theory (that is, NP-complete), but can be
24 solved very efficiently for package repositories that actually occur in
25 practice.
26 Packages are split into foreground and background: only packages in the
28 foreground are checked for installability, but dependencies may be
29 satisfied by foreground packages and by background packages. By
30 default, all packages are in the foreground.
31
33 Currently supported input types are debian, rpm, and eclipse. The
34 distcheck tool expects its input specifiations in the form
35 type://pathname where type is one of deb, synthesis, hdlist or eclipse,
36 and pathname is the pathname of a file containing the input. The
37 package metadata found in that file must correspond to the type given
38 in the URI.
39 When invoked as typecheck then the type of input is assumed to be type,
41 and repositories (in positional arguments or in the values of options
42 --fg and --bg) are simply given in form of a pathname of a file
43 containing the repository. If no positional argument is given then
44 input is read from standard input. distcheck also accepts compressed
45 files (.gz , .bz2) as positional arguments. Input read on standard
46 input cannot be in compressed form.
47
49 Debian
50 The input file has to contain stanzas in the format of deb-control(5),
51 separated by one blank line. For instance, the Packages files as found
52 on a Debian mirror server, or in the directory /var/lib/apt/lists/ of a
53 Debian system, are suitable as input to debcheck. Installability of
54 packages is analyzed according to their Depends, Conflicts, and
55 Provides fields with their meaning as of Debian policy version 3.9.0.
56 Pre-depends are treated like Depends, and Breaks are treated like
57 Conflicts.
58 If the input contains several packages with the same values of name,
60 version, and architecture than only the last of these is taken into
61 account, and a warning is issued.
62 In the case of Debian, it is not possible to install at the same time
64 two packages with the same name but different versions.
65 Rpm
67 The input file can be either a synthesis file or a hdlist file. By
68 default rpmcheck expects a synthesis file as input. To specify a hdlist
69 file distcheck must be invoked with a file argument of the form
70 hdlist://
71 Npm
73 The input file is a 822 encoding of an npm repository.
74 Opam
76 The input file is a 822 encoding of an opam repository.
77 Pef
79 The input is a generic 822 file. Versions are compared by default using
80 the debian comparing function, or if provided the function specified by
81 --compare
82 Eclipse
84 The input is a 822 file containing the encoding of OSGi plugins
85 content.xml files.
86
88 MISC OPTIONS
89 --version
90 Show program version and exit.
91 -h, --help
93 Display this list of options.
94 -v, --verbose
96 Enable info / warnings / debug messages. This option may be
97 repeated up to three times in order to increase verbosity.
98 --progress
100 Show progress bars.
101 --timers
103 Show timing information.
104 --quiet Do not print warning messages
106 DISTCHECK OPTIONS
108 -e, --explain
109 Give explanations. If used together with --failures then the
110 explanation consists of dependency chains leading to a conflict
111 or a dependency on a missing package. If used together with
112 --successes then the explanation consists of an installation
113 set.
114 -m, --explain-minimal
116 For all packages P that are found installable, and when used in
117 conjunction with --successes, prints a reduced installation set
118 containing only those packages in the dependency cone of P.
119 When used with Debian repositories, all essential packages and
120 their dependencies that are not in the cone of P are omitted.
121 When used in conjunction with --failures, and --explain, all
122 dependencies chains are not printed.
123 -c, --explain-condense
125 Compress explanation graph
126 -f, --failures
128 List all packages that are found not to be installable.
129 -s, --successes
131 List all packages that are found to be installable. May be used
132 together with --failures, in this case the value of the status
133 field in the output allows one to distinguish installable from
134 non-installable packages.
135 --summary
137 Gives a more detailed summary of the findings.
138 --coinst package [,package] ...
140 Takes a comma-separated list of package names, each of them
141 possibly with a version constraint, as argument. If this list
142 consists of n expressions, then co-installability will be
143 checked independently for each set of n packages where the i-th
144 element of the set matches the i-th expression. The initial
145 distinction between foreground and background is ignored. This
146 option must not be combined with --checkonly.
147 Example: --coinst "a (>1), b"
149 If we have package a in versions 1, 2 and 3, and package b in
151 versions 11 and 12, then this will check 4 pairs of packages
152 for co-installability, namely (a=2,b=11), (a=2,b=12),
153 (a=3,b=11) and (a=3,b=12).
154 --fields=strlst
156 Print additional fields if available
157 --lowmem
159 Serialise multiple distcheck runs to save memory. This might
160 take more time.
161 INPUT OPTIONS
163 -t input-spec
164 Select the input type. Possible values are:
165 . cudf for cudf files
167 . csw
169 . opam
171 . deb for Debian binary package files, also known as Packages
173 files. Possibly compressed with gzip(1), bzip2(1) or xz(1),
174 depending on compile-time options for dose3.
175 . debsrc for Debian source package files, also knows as Sources
177 files. Possibly compressed with gzip(1), bzip2(1) or xz(1),
178 depending on compile-time options for dose3.
179 . edsp for apt-get External Dependency Solver Protocol
181 . eclipse for Eclipse (p2) package files
183 . hdlist for RPM hdlists
185 . synthesis for urpmi synthesis hdlists
187 . pef
189 --checkonly package [,package] ...
191 Takes a comma-separated list of package names, each of them
192 possibly with a version constraint, as argument. The foreground
193 is constituted of all packages that match any of the
194 expressions, all other packages are pushed into the background.
195 The initial distinction between foreground and background is
196 ignored. This option must not be combined with --coinst.
197 Example: --checkonly "libc6 , 2ping (= 1.2.3-1)"
199 --latest n
201 Consider only the latest -n most recent versions of each
202 package, older versions of packages are ignored.
203 --fg=file
205 Add packages in file to the foreground.
206 --bg=file
208 Add packages in file to the background.
209 --compare
211 When specified with a pef file, select the comparison function
212 used by the pef -> cudf encoding. Possible values are deb
213 (<https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-Version>)
214 , semver (<http://semver.org/>) , npm
215 (<https://docs.npmjs.com/misc/semver>)
216 OUTPUT OPTIONS
218 -o, --outfile= file
219 Send output to file.
220 -d, --outdir= directory
222 Set the output directory (default current directory).
223 --dot Save the explanation graph (one for each package) in dot
225 format.
226 DEBIAN SPECIFIC OPTIONS
228 Multi-arch annotations are correctly considered by distcheck. Packages
229 whose's architecture is neither the native architecture nor in the list
230 of foreign architectures (see below) are ignored.
231 --deb-native-arch=name
233 Specify the native architecture. The default behavior is to
234 deduce the native architecture from the first package stanza in
235 the input that has an architecture different from all.
236 --deb-foreign-archs=name [,name] ...
238 Specify a comma-separated list of foreign architectures. The
239 default is an empty list of foreign architectures.
240 --deb-ignore-essential
242 Do not consider essential packages as part of the installation
243 problem. By default all essential package are considered as
244 part of the installation problem for all packages, that is a
245 package is installable if and only if it is co-installable with
246 all essential packages. This option allows the user to test the
247 installability with no essential packages installed.
248 --deb-builds-from
250 Add builds-from relationship of binary packages on source
251 packages as dependency. This allows one to create graphs for
252 bootstrapping purposes.
253
255 Exit codes 0-63 indicate a normal termination of the program, codes
256 64-127 indicate abnormal termination of the program (such as parse
257 errors, I/O errors).
258 In case of normal program termination:
260 - exit code 0 indicates that all foreground packages are found
262 installable;
263 - exit code 1 indicates that at least one foreground package is found
265 uninstallable.
266
268 Check which packages in a particular distribution are not installable
269 and why:
270 dose-distcheck -v -f -e \
272 --bg deb:///var/lib/apt/lists/ftp.fr.debian.org_debian_dists_sid_main_binary-amd64_Packages\
273 --bg deb:///var/lib/apt/lists/ftp.fr.debian.org_debian_dists_sid_non-free_binary-amd64_Packages\
274 --fg deb:///var/lib/apt/lists/ftp.fr.debian.org_debian_dists_sid_contrib_binary-amd64_Packages
275 where Packages is the file pertaining to that distribution, as for
277 instance found in the directory /var/lib/apt/lists.
278 Check which packages in contrib are not installable when dependencies
280 may be satisfied from main:
281 debcheck --failures --bg=main_Packages contrib_Packages
283
285 Distcheck is a complete reimplementation of edos-debcheck, written for
286 the EDOS project.
287
289 The first version of debcheck was written by Jerome Vouillon for the
290 EDOS project. The current version has been rewritten on the basis of
291 the dose3 library by Pietro Abate.
292
294 deb-control(5)
295 <http://www.edos-project.org> is the home page of the EDOS project.
297 <http://www.mancoosi.org> is the home page of the Mancoosi project.
299 2023-01-24 DOSE-DISTCHECK(1)