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	ocamlPackages.elpi: use release tarball (#343266)	2024-09-23 09:52:07 +02:00
default.nix	ocamlPackages.elpi: use release tarball (#343266)	2024-09-23 09:52:07 +02:00
extra-lib.nix	doc/coq: sha256 → hash	2024-09-17 10:47:31 +02:00