Ubuntu
minisat2 package

minisat2 1:2.2.1-3 source package in Ubuntu

Changelog

minisat2 (1:2.2.1-3) unstable; urgency=low

  * Updated man page (closes: #638217)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  17 Oct 2011 11:15:43 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Precise
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe science

Downloads

File Size SHA-256 Checksum
minisat2_2.2.1.orig.tar.gz 43.2 KiB e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
minisat2_2.2.1-3.debian.tar.gz 8.4 KiB 14d9c7021fa364f03d20a13e03f03f248d769a04d421f7865c0090ea2a8594c7
minisat2_2.2.1-3.dsc 1.1 KiB 1c1ce26f42ccbd6cc7fbb6ac8c4748212b50cf94495afcbc1fc1f36dea623395

Available diffs

View changes file

Binary packages built by this source

minisat: No summary available for minisat in ubuntu quantal.

No description available for minisat in ubuntu quantal.

minisat2: Transitional package for minisat

 This is a transitional package for minisat, and can be safely removed after
 the installation is complete.