Hi Ludo, On Thu, 13 Feb 2020 at 22:34, Ludovic Courtès <l...@gnu.org> wrote: > > Hi, > > Jan Nieuwenhuizen <jann...@gnu.org> skribis: > > > building > > /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... > > downloading from > > https://www.freedesktop.org/software/harfbuzz/release/harfbuzz-2.4.0.tar.bz2... > > |offloading build of > > /gnu/store/6fgg1irkcvqyb4f9f8n0nzi5gknyqhfn-gcc-mesboot1-4.7.4.drv to > > 'kluit.dezyne.org' > > - 'build' phasesha256 hash mismatch for > > /gnu/store/b4cdp9sp44848348lrpzbfafhmjqf8nr-harfbuzz-2.4.0.tar.bz2: > > expected hash: 1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch > > actual hash: 0vrkvdlmihdg62a4c6h5kx27khc33xmb95l50zgnwnavvpwyyw5l > > hash mismatch for store item > > '/gnu/store/b4cdp9sp44848348lrpzbfafhmjqf8nr-harfbuzz-2.4.0.tar.bz2' > > The file itself is still available on our machines though, and you can > get it with: > > guix download -o harfbuzz-2.4.0.tar.bz2 \ > > https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/0vrkvdlmihdg62a4c6h5kx27khc33xmb95l50zgnwnavvpwyyw5l
Maybe I miss a point, but the file we need is the old one, not the new one, i.e., the one with the expected hash 1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch. And I should do wrong but ci.guix.gnu.org does not have this file -- otherwise it will find it because of substitutes mechanism. --8<---------------cut here---------------start------------->8--- $ guix download -o /tmp/harfbuzz-old.tar.bz2 \ https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch Starting download of /tmp/harfbuzz-old.tar.bz2 >From >https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch... download failed "https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch"; 404 "Not Found" failed to download "/tmp/harfbuzz-old.tar.bz2" from "https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch"; guix download: error: open-file: No such file or directory: "/tmp/harfbuzz-old.tar.bz2" --8<---------------cut here---------------end--------------->8--- Cheers, simon
