Hello Guix! Here's an update for mu! I've noticed we've moved away from using Github's generated tarballs and using git-fetch instead. However, it looks like the tarball for mu is provided by the developer so we should be fine. Is that right? See "Assets" from https://github.com/djcb/mu/releases/tag/1.2 . Thanks, Pierre