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

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

 -- Ralf Treinen <treinen@debian.org>  Tue, 24 May 2011 20:42:23 +0200

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

  * Initial package (closes: Bug#626410)

 -- Ralf Treinen <treinen@debian.org>  Thu, 12 May 2011 22:13:24 +0200

