coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org>
fakeSha256
fakeHash