minisat2 1:2.2.1-5build1 source package in Ubuntu
Changelog
minisat2 (1:2.2.1-5build1) bionic; urgency=high * No change rebuild to pick up -fPIE compiler default -- Balint Reczey <email address hidden> Tue, 03 Apr 2018 12:34:58 +0000
Upload details
- Uploaded by:
- Balint Reczey
- Uploaded to:
- Bionic
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
minisat2_2.2.1.orig.tar.gz | 43.2 KiB | e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 |
minisat2_2.2.1-5build1.debian.tar.xz | 9.3 KiB | cb08c870f6b72f6f541bc069132182317312785295a74c8b55c13827a4b9ed8a |
minisat2_2.2.1-5build1.dsc | 1.9 KiB | c00ab003ebbbd414ab68b8ed533ce508b4c8d939fd78f85db85220e9445bc3c4 |
Available diffs
Binary packages built by this source
- minisat: No summary available for minisat in ubuntu eoan.
No description available for minisat in ubuntu eoan.
- minisat-dbgsym: debug symbols for minisat
- minisat2: No summary available for minisat2 in ubuntu cosmic.
No description available for minisat2 in ubuntu cosmic.