Tomas Volf <[email protected]> skribis: >> Workaround: >> >> wget -O boost-0001-unordered-fix-copy-assign.patch \ >> >> https://ci.guix.gnu.org/file/boost-0001-unordered-fix-copy-assign.patch/sha256/09j61m5xh7099k5na9i43x5rra51znf7vm2nyh89yqpizcll9q6 >> guix download file://$PWD/boost-0001-unordered-fix-copy-assign.patch > > Oh, this is neat, I did not know I can use guix download for this. The > URL above gives 500, but I acquired the correct patch file from the > upstream git. > > Though for some reason I do not think it actually works: > > --8<---------------cut here---------------start------------->8--- > $ guix download file:///tmp/boost-0001-unordered-fix-copy-assign.patch > /gnu/store/hc23zxpvz11927ggv9lhb26kcfb19nbw-boost-0001-unordered-fix-copy-assign.patch > 0l520lqh2vxdlyzvpki6hy2ylqimag8v18n2sdbmliifxiiha4gl > --8<---------------cut here---------------end--------------->8---
You got the wrong file it seems, and I pasted the wrong URL. :-) Here’s the correct thing: --8<---------------cut here---------------start------------->8--- $ wget -qO /tmp/boost-0001-unordered-fix-copy-assign.patch https://ci.guix.gnu.org/file/boost-0001-unordered-fix-copy-assign.patch/sha256/09j61m5xh7099k5na9i43x5rra51znf7vm2nyh89yqpizcll9q66 $ guix download file:///tmp/boost-0001-unordered-fix-copy-assign.patch /gnu/store/chzch29xi2gzdxbzk77sb432klkddra1-boost-0001-unordered-fix-copy-assign.patch 09j61m5xh7099k5na9i43x5rra51znf7vm2nyh89yqpizcll9q66 --8<---------------cut here---------------end--------------->8--- Ludo’.
