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 | 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
- diff from 953-2 to 954-1 (1.4 KiB)
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.