Debian
picosat package

Branches for Wheezy

Name Status Last Modified Last Commit
lp:debian/wheezy/picosat 1 Development 2012-03-03 22:55:43 UTC
10. * Bumped standards version to 3.9.3 (...

Author: Michael Tautschnig
Revision Date: 2012-03-03 22:55:43 UTC

* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5
1 → 1 of 1 result First • Previous • Next • Last