minisat2 070721-6 source package in Ubuntu
Changelog
minisat2 (070721-6) unstable; urgency=low * Completed man page (Closes: #501983) minisat2 (070721-5) unstable; urgency=low * Also test for _FPU_GETCW being defined to fix FTBFS on alpha minisat2 (070721-4) unstable; urgency=low * Added David A. Wheeler's nice intro to SAT solving -- Ubuntu Archive Auto-Sync <email address hidden> Wed, 05 Nov 2008 10:41:22 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Jaunty
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| minisat2_070721.orig.tar.gz | 31.2 KiB | 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 |
| minisat2_070721-6.diff.gz | 7.4 KiB | 5d14e840605bba20e05ed54b60f8a34fe5d089d8b4f688be02f3c7e4f17c3bae |
| minisat2_070721-6.dsc | 964 bytes | 406ec21e23fc5a084049912056007af9fc3d32b3e4bf32501cfa6421cdb7edbf |
Available diffs
- diff from 070721-3 to 070721-6 (5.2 KiB)
Binary packages built by this source
- minisat2: No summary available for minisat2 in ubuntu jaunty.
No description available for minisat2 in ubuntu jaunty.
