Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
 - leancheck-1.0.2 (lib:leancheck) (requires build)
 - nats-1.1.2 (lib:nats) (requires build)
 - leancheck-instances-0.0.8 (first run)
/var/empty/.local: createDirectory: permission denied (Operation not permitted)