Publishing details
-
Removal requested
.
-
Superseded
by boolector - 1.5.118.6b56be4.121013-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low
* New upstream release
* Bumped Standards-Version to 3.9.3 (no changes)
-- Michael Tautschnig <email address hidden> Tue, 16 Oct 2012 13:01:32 +0100
Builds
Package files