Ubuntu
minisat+ package

minisat+ 1.0-2 source package in Ubuntu

Changelog

minisat+ (1.0-2) unstable; urgency=low

  * Patch exitcode: non-null exit code on parse error.

minisat+ (1.0-1) unstable; urgency=low

  * Initial package (closes: Bug#626410)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  12 Nov 2011 07:25:07 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Precise
Original maintainer:
Debian Science Team
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe science
Trusty release universe science
Precise release universe science

Downloads

File Size SHA-256 Checksum
minisat+_1.0.orig.tar.gz 78.1 KiB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-2.debian.tar.gz 3.9 KiB 3d9f88e1c10d33c197f21ae5de57d32e7441a2370faefdb398a2f27e241844bd
minisat+_1.0-2.dsc 1.2 KiB ff8609c5efc25c7b87f18f1136e91321964224d1b7fa7bd6d6a0354c7f81e742

View changes file

Binary packages built by this source

minisat+: No summary available for minisat+ in ubuntu yakkety.

No description available for minisat+ in ubuntu yakkety.

minisat+-dbgsym: No summary available for minisat+-dbgsym in ubuntu zesty.

No description available for minisat+-dbgsym in ubuntu zesty.