mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-19 12:13:19 +02:00
4bd69fd249
Without this change, it's impossible to override bignums, or ignore it when creating custom datasets for other versions of Coq (such as 8.8+alpha). |
||
---|---|---|
.. | ||
default.nix |