|debian changes 953 1 | (download)
16 13 + 3 - 0 !
6 3 + 3 - 0 !
2 files changed, 16 insertions(+), 6 deletions(-)
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
picosat (953-1) unstable; urgency=low
* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5