Package: minisat2
Version: 070721-2
Severity: minor
Hello,
The description of the minisat2 package is unclear: I don't have the
slightest idea of what is SAT, and this description does not make me
any wiser. According to Policy 3.4, I should be able to know whether I
want it installed or not from the description, and that is not the
case here.
Regards,
Vincent Fourmond
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.24-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
