Debian Patches

Status for boolector/1.5.118.6b56be4.121013-1

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

All known versions for source package 'boolector'

Links