Hello, Here's a patch implementing "channel-with-substitutes-available". The following step will be to add the matching option for the "guix pull" command, as discussed previously. Thanks, Mathieu