Ubuntu
picosat package

picosat 936-3 source package in Ubuntu

Changelog

picosat (936-3) unstable; urgency=low

  * Ship picomus binary for computing minimal unsatisfiying cores
    (closes: #635114)
  * Bumped standards version to 3.9.2 (no changes)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  17 Oct 2011 13:45:40 +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
picosat_936.orig.tar.gz 50.9 KiB 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a
picosat_936-3.debian.tar.gz 5.3 KiB 6c6741fa768834e9480afbb9483340695d10cfd67b1fef2e2db44fbc54f642d1
picosat_936-3.dsc 995 bytes cbc6a14a2449af5c6d4d4df04d745545215e7ac099e310d74eb7aaf24ce20f59

Available diffs

View changes file

Binary packages built by this source

picosat: No summary available for picosat in ubuntu quantal.

No description available for picosat in ubuntu quantal.