mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-16 15:58:36 +00:00
it may be possible to get it building under clang with some work, but switching it to gcc for now allows us to enable it |
||
---|---|---|
.. | ||
cvc3-2.4.1-gccv6-fix.patch | ||
default.nix |