|
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 |
