Ubuntu
minisat+ package

Change logs for minisat+ source package in Trusty

  1. Trusty (14.04)
  2. Change log 
  • minisat+ (1.0-2) unstable; urgency=low

  * Patch exitcode: non-null exit code on parse error.

minisat+ (1.0-1) unstable; urgency=low

  * Initial package (closes: Bug#626410)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  12 Nov 2011 07:25:07 +0000