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	coqPackages.bignums: Change expression to match other Coq packages	2018-03-06 07:46:51 -08:00