Vincent Laporte 94d0d22817 ocamlPackages.elpi: use release tarball (#343266) ... coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org>		2024-09-23 09:52:07 +02:00
..
meta-fetch
default.nix
extra-lib.nix