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