Eelco Dolstra c5b96ca801 minisat: Fix build on Darwin		2016-12-09 19:57:07 +01: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