mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-25 14:40:17 +02:00
281b26533d
Removes QuickChick for Coq 8.7 as it is broken (probably due to a too recent ssreflect). |
||
---|---|---|
.. | ||
default.nix |