mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-20 20:39:04 +02:00
41df85dd1b
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported upstream. |
||
---|---|---|
.. | ||
default.nix |