|
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
|
minisatUnstable: init at 2013-09-25
|
2017-05-22 22:24:58 +01:00 |
