That doesn't sound like a bad idea at all. I'm not sure if going via unstable or experimental is best at this point, but either way, this would allow us preparing a package that links against the system picosat again.
Reinhard On November 8, 2014 12:47:45 PM EST, Michael Tautschnig <m...@debian.org> wrote: >On Sat, Nov 08, 2014 at 16:37:18 +0100, Stefan Hengelein wrote: >> Hi, >> >> we have an in-tree variant of the PicoSAT because the newer, >reentrant >> version of picosat is around 30% slower for our usage than the one >> we're currently using (936). >> However, the picomus export is done for compatibility reasons. The >> output format was changed several times and the version 954 and 959 >> have some problems with argument passing and reading from stdin. >> These problems are solved with 960 but 960 was just released a few >weeks ago. >> So we could use either 936 or 960 and i thought hat was a elegant way >> to solve the problem. >> But i didn't think it might cause conflicts here. >> >[...] > >So would it help if I upgraded picosat to version 960? I suppose we >might get an >unblock as 1) picosat shouldn't disrupt any other packages and 2) we'd >be fixing >an RC bug. > >Please just let me know, I'm happy to upgrade. > >Best, >Michael -- Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.
