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 | 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 |
Binary packages built by this source
- boolector: No summary available for boolector in ubuntu raring.
No description available for boolector in ubuntu raring.