Package: picosat Version: 936-2 Severity: normal -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi, http://fmv.jku.at/picosat/ mentions that version 936 contains a picomus binary to calculate the minimal unsatisfiable core, yet it is not included in the Debian package. Might it be redundant, because "picosat.trace -c <file>" does the same? In that case, that could maybe be documented in /usr/share/doc/picosat somewhere. Or if it is not redundant, please include it in the package. Thanks, Joachim - -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (101, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.39-2-amd64 (SMP w/2 CPU cores) Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages picosat depends on: ii libc6 2.13-10 Embedded GNU C Library: Shared lib picosat recommends no packages. picosat suggests no packages. - -- no debconf information -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk4pyT4ACgkQ9ijrk0dDIGw9eQCgv0i+aSaYSa+5KWKIqphdHMJR I88AnjTgtUHDZxYXqSXm/+6ZEw0gCoZQ =IJEI -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
