>> May I push this patch to ‘master’?

> Yep!

Done.

> (though I gather that the next upstream version of LAPACK will be
> fixed, right?).

I think so.

> Two things we could do: (1) add a ‘snippet’ field in ‘origin’, which is
> where the ‘remove-file’ calls would appear, (2) host a freed version
> under alpha.gnu.org/gnu/guix/mirror.

> Hmm I’ll see if (1) can be implemented before 0.5 without triggering a
> full rebuild.

OK, let me know if you need any help.