Ubuntu
minisat2 package

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

View changes file

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.