mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-11-16 18:37:04 +03:00
9b9d3743ce
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy with the corresponding versions of Coq. Use a two month old version with Coq-8.6 to avoid issue #45: https://github.com/QuickChick/QuickChick/issues/45 |
||
|---|---|---|
| .. | ||
| default.nix | ||