Samuel Leathers fdbcee03fe minisat: fix maintainer		2017-05-22 23:55:05 -04:00
..
clang.diff	minisat: support clang	2016-06-19 15:19:25 +02:00
darwin.patch	minisat: Fix build on Darwin	2016-12-09 19:57:07 +01:00
default.nix	minisat: Fix build on Darwin	2016-12-09 19:57:07 +01:00
unstable.nix	minisat: fix maintainer	2017-05-22 23:55:05 -04:00