boolector 1.4.ffc2089.100608-1 source package in Ubuntu

Changelog

boolector (1.4.ffc2089.100608-1) unstable; urgency=low

  * Initial release (Closes: #584542)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  15 Jun 2010 10:34:50 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Maverick
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe science

Downloads

File Size SHA-256 Checksum
boolector_1.4.ffc2089.100608.orig.tar.gz 222.0 KiB 12fe3ee16a45f3cd81f988f72f6af6eb1114ea2ed9adbfd71c937fa411069b97
boolector_1.4.ffc2089.100608-1.debian.tar.gz 4.0 KiB 38d9594c32b68f681de805546fac5c236be86340d174a59ce7e21f4aca7d3d5e
boolector_1.4.ffc2089.100608-1.dsc 1.1 KiB f460232bff87791cc1c1e6fa78c2498cf53f5905c13e143eee6112e19275d510

View changes file

Binary packages built by this source

boolector: No summary available for boolector in ubuntu raring.

No description available for boolector in ubuntu raring.