mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-20 04:19:00 +02:00
1662bbb5fb
See:
|
||
---|---|---|
.. | ||
cvc4.nix | ||
default.nix | ||
minisat-fenv.patch |