Bug#880856: picosat: new upstream version 965

[Thomas Krennwallner]

Package: picosat
Version: 960
Severity: wishlist

Dear Michael,

picosat 965 is available from http://fmv.jku.at/picosat/

Best,
TK