Updated using guix refresh, which is why the propagated inputs shrunk
so much. Otherwise seems to work correctly.