mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-27 09:23:01 +00:00
e59dcf8cce
coqPackages.CoLoR: 1.4.0 -> 1.7.0 |
||
---|---|---|
.. | ||
scripts | ||
maintainer-list.nix |