mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-01 01:20:17 +02:00
.. | ||
0001-no-static-boost-libs.patch | ||
default.nix | ||
glucose-fenv.patch | ||
minisat-fenv.patch |
.. | ||
0001-no-static-boost-libs.patch | ||
default.nix | ||
glucose-fenv.patch | ||
minisat-fenv.patch |