Ubuntu
minisat2 package

minisat2 070721-8 source package in Ubuntu

Changelog

minisat2 (070721-8) unstable; urgency=low

  * Added Homepage field.

minisat2 (070721-7) unstable; urgency=low

  * Bumped standards version to 3.8.3 (no changes).
  * Use Copyright instead of (C) in debian/copyright.
  * Build dynamic library (thanks Pietro Abate <email address hidden>
    for ideas and patches). (Closes: #537372)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  18 Jan 2010 07:31:57 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
minisat2_070721.orig.tar.gz 31.2 KiB 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396
minisat2_070721-8.diff.gz 8.1 KiB 538efa21004f6d5dd98622d62ecbe9a59624a497e145195ded711711ce3d2683
minisat2_070721-8.dsc 994 bytes b58d620d560b4b9d805b3e86c770370a982141562739ec8e17cebbf12fe5061e

Available diffs

View changes file

Binary packages built by this source

minisat2: No summary available for minisat2 in ubuntu natty.

No description available for minisat2 in ubuntu natty.