minisat2 1:2.2.1-5build2 source package in Ubuntu
Changelog
minisat2 (1:2.2.1-5build2) focal; urgency=medium * No-change rebuild for libgcc-s1 package name change. -- Matthias Klose <email address hidden> Sun, 22 Mar 2020 16:49:51 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Mantic | release | universe | science | |
Lunar | release | universe | science | |
Jammy | release | universe | science | |
Focal | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
minisat2_2.2.1.orig.tar.gz | 43.2 KiB | e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 |
minisat2_2.2.1-5build2.debian.tar.xz | 9.3 KiB | de08712038469d6b3e8c209960841b13b3fe8fda1d7b5dd4b942691c3d03e798 |
minisat2_2.2.1-5build2.dsc | 1.9 KiB | d2d7386c3f752a4d9e28b407b2eb03e729d83ad592d15f24a0013047b65fd842 |
Available diffs
- diff from 1:2.2.1-5build1 to 1:2.2.1-5build2 (349 bytes)
Binary packages built by this source
- minisat: No summary available for minisat in ubuntu groovy.
No description available for minisat in ubuntu groovy.
- minisat-dbgsym: debug symbols for minisat
- minisat2: No summary available for minisat2 in ubuntu noble.
No description available for minisat2 in ubuntu noble.