mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-24 02:46:38 +00:00
51e68732f9
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported upstream. |
||
---|---|---|
.. | ||
default.nix |