Hello Guix,

Find the sbcl-nasdf 0.1.7 patch attached.