picosat 953-2 source package in Ubuntu
Changelog
picosat (953-2) unstable; urgency=low * Actually bump standards version to 3.9.4 * Added symbol files -- Michael Tautschnig <email address hidden> Sun, 02 Dec 2012 13:18:49 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
picosat_953-2.dsc | 1.0 KiB | 723e6955e687f6ede78f842f29dee7b9406c78b70f0b5c7665d7b27991cab12c |
picosat_953.orig.tar.gz | 61.3 KiB | bf26f7f3b10ef196ebd9b4a8c944c58fa9d76fd937b3b2cf1468c365231a02bb |
picosat_953-2.debian.tar.gz | 6.3 KiB | 5ef5a9e3ddf16d185d2b425c917525c61edfd54b2de1f64e1ab94398575a320b |
Available diffs
- diff from 936-4 to 953-2 (73.0 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.