Name Date Size

.. 2013-07-28 18:30:12 12

makefile.patch 2013-07-28 18:30:12 200

manpages.patch 2013-07-28 18:30:12 301

minisat-compile-options.patch 2013-07-28 18:30:12 484

series 2013-07-28 18:30:12 60