mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-10-20 11:11:43 -04:00
94d0d22817
coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org> |
||
---|---|---|
.. | ||
default.nix |