| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| debian-changes-1.5.118.6b56be4.121013-1 | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low . * New upstream release * Bumped Standards-Version to 3.9.3 (no changes) |
Michael Tautschnig <mt@debian.org> | no |