Your message dated Sat, 24 Jun 2006 05:34:37 -0700
with message-id <[EMAIL PROTECTED]>
and subject line Bug#365087: fixed in edos-debcheck 0.0.2006.03.19-1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <[EMAIL PROTECTED]>
* Package name : debcheck
Version : as of 2006/3/19
Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]>
* URL : http://www.pps.jussieu.fr/~vouillon/
* License : GPL
Programming Lang: Objective Caml
Description : Checks whether dependencies of debian packages can be
satisfied
This software checks for every package of a distribution (in the
debian format .deb) whether it is possible to satisfy its dependencies
and conflicts within this distribution.
The constraint solving algorithm is complete, that is it finds a
solution whenever there exists one, even for multiple disjunctive dependencies
and deep package conflicts. This problem is computationally intractable in
theory (that is, NP-complete), but can in practice be solved very efficiently.
==========================================================================
Some comments on this: the essential point is that it is really a
*complete* constraint solver. In particular it implements properly
the logical semantics of disjunctive dependencies.
Despite the fact that it is a complete constraint solver, and despite
the fact that the problem is NP-complete, the tool is lightning fast.
This is achieved by using a custom-built SAT solver. For instance, a
complete check of testing/main for i386 as of today takes 12 seconds
on my PC (1GHz).
Preliminary packages are available at
http://people.debian.org/~treinen/debcheck/
-Ralf.
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (990, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.16
Locale: LANG=C, LC_CTYPE=C (charmap=ISO-8859-1) (ignored: LC_ALL set to en_US)
--- End Message ---
--- Begin Message ---
Source: edos-debcheck
Source-Version: 0.0.2006.03.19-1
We believe that the bug you reported is fixed in the latest version of
edos-debcheck, which is due to be installed in the Debian FTP archive:
edos-debcheck_0.0.2006.03.19-1.diff.gz
to pool/main/e/edos-debcheck/edos-debcheck_0.0.2006.03.19-1.diff.gz
edos-debcheck_0.0.2006.03.19-1.dsc
to pool/main/e/edos-debcheck/edos-debcheck_0.0.2006.03.19-1.dsc
edos-debcheck_0.0.2006.03.19-1_i386.deb
to pool/main/e/edos-debcheck/edos-debcheck_0.0.2006.03.19-1_i386.deb
edos-debcheck_0.0.2006.03.19.orig.tar.gz
to pool/main/e/edos-debcheck/edos-debcheck_0.0.2006.03.19.orig.tar.gz
edos-rpmcheck_0.0.2006.03.19-1_i386.deb
to pool/main/e/edos-debcheck/edos-rpmcheck_0.0.2006.03.19-1_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[EMAIL PROTECTED]> (supplier of updated edos-debcheck package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 22 May 2006 22:47:52 +0200
Source: edos-debcheck
Binary: edos-debcheck edos-rpmcheck
Architecture: source i386
Version: 0.0.2006.03.19-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <[EMAIL PROTECTED]>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
edos-debcheck - Checks whether dependencies of debian packages can be satisfied
edos-rpmcheck - Checks whether dependencies of redhat packages can be satisfied
Closes: 365087
Changes:
edos-debcheck (0.0.2006.03.19-1) unstable; urgency=low
.
* Initial Release (closes: Bug#365087).
Files:
caa96a801ba4caa8c14c670370cda829 650 devel optional
edos-debcheck_0.0.2006.03.19-1.dsc
b7a8ed153fdbf74cf952bc1e159394b4 26006 devel optional
edos-debcheck_0.0.2006.03.19.orig.tar.gz
e3fe0ef9a18775771ea9e6ea4f957774 3316 devel optional
edos-debcheck_0.0.2006.03.19-1.diff.gz
f98341b1876cfd64b0eb30ba7e8e4cd9 130566 devel optional
edos-debcheck_0.0.2006.03.19-1_i386.deb
6ba1da7b20d043e724cc49354b3c2b08 133704 devel optional
edos-rpmcheck_0.0.2006.03.19-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
iD8DBQFEciP0tzWmSeC6BMERApUXAJ9zSRD9oOvZCyBmz4Aonqb9ovc2EQCeJavc
2BvonDG8vdWHmdBWCz6W+Dw=
=fP4A
-----END PGP SIGNATURE-----
--- End Message ---
