picosat 954-1 source package in Ubuntu

Changelog

picosat (954-1) unstable; urgency=low


  * New upstream version (closes: #696246)

 -- Michael Tautschnig <email address hidden>  Thu, 20 Dec 2012 20:13:50 +0000

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe science

Downloads

File Size SHA-256 Checksum
picosat_954-1.dsc 1.0 KiB f4df4df207deb3f9d0900e733f14e50e60d78c811c87abd9ee8c8ef47fee6b7e
picosat_954.orig.tar.gz 61.5 KiB 1d42116957b82cd69d10b6a8d6b4a55f6e9b8678ac654c74d2ce2b649f82c67c
picosat_954-1.debian.tar.gz 6.4 KiB cc67a625ac7bdcf5ba78251d0bd6a5dd2b8e19834ee96993be3f8b0c92691734

Available diffs

No changes file available.

Binary packages built by this source

picosat: No summary available for picosat in ubuntu raring.

No description available for picosat in ubuntu raring.