John Wiegley 4bd69fd249 coqPackages.bignums: Change expression to match other Coq packages ...

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

2018-03-06 07:46:51 -08:00

..

default.nix

…