mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-23 05:37:27 +03:00
281b26533d
Removes QuickChick for Coq 8.7 as it is broken (probably due to a too recent ssreflect). |
||
---|---|---|
.. | ||
default.nix |