minisat2 1:2.2.0-2 source package in Ubuntu
Changelog
minisat2 (1:2.2.0-2) unstable; urgency=low * Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254). * Fix FTBFS due to undefined memUsedPeak (closes: #590255). minisat2 (1:2.2.0-1) unstable; urgency=low * New upstream version. - Introduced epoch as new versioning scheme is in use. - Added Vcs-Git and Vcs-Browser control fields. - Bumped SO version as all functions have been moved into a namespace. - Added patch 9bd8749. * Switch to dpkg-source 3.0 (quilt) format * Bumped standards version to 3.9.0 (no changes) -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 15 Oct 2010 09:46:00 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Natty
- 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_2.2.0.orig.tar.gz | 42.8 KiB | 26957f499f5e557cb45cdbb30e8402b7e033ca2080a98bcb14c769028284fb06 |
minisat2_2.2.0-2.debian.tar.gz | 9.6 KiB | e5844690df9282c65e2c549ea20b714812cc21a4d612789bff1465a9ac721204 |
minisat2_2.2.0-2.dsc | 1.1 KiB | f43058970529d7d845cf63f1abde54453f13ebb63e63261bf2f14dc11f0f8a45 |
Available diffs
- diff from 070721-8 to 1:2.2.0-2 (63.3 KiB)
Binary packages built by this source
- minisat2: No summary available for minisat2 in ubuntu natty.
No description available for minisat2 in ubuntu natty.