94d0d22817
coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org> |
||
---|---|---|
.. | ||
default.nix |
94d0d22817
coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org> |
||
---|---|---|
.. | ||
default.nix |