Ubuntu
boolector package

boolector 1.5.118.6b56be4.121013-1 source package in Ubuntu

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

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe science
Trusty release universe science

Downloads

File Size SHA-256 Checksum
boolector_1.5.118.6b56be4.121013-1.dsc 1.5 KiB ae437904df6a0551a0c290c638e7845aaef25d31fa80b862fcb3ee27d515c79b
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz 162.4 KiB 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184.3 KiB e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2
boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 4.7 KiB efe3c5f85abcb7198a01312612a9d223eded6d1752fc6c64c8d64d8dd69287d1

No changes file available.

Binary packages built by this source

boolector: No summary available for boolector in ubuntu utopic.

No description available for boolector in ubuntu utopic.