mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-12-26 04:43:09 +03:00
f4914d4eb4
Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7. |
||
|---|---|---|
| .. | ||
| default.nix | ||