Ubuntu
minisat2 package

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 Pocket 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

View changes file

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.