=> Creating binary package /Users/pbulk/build/lang/idris2/work/.packages/idris2-0.7.0.tgz
=> Signing binary package /Users/pbulk/build/lang/idris2/work/.packages/idris2-0.7.0.tgz (GPG)
can't create `/var/root/.gnupg/random_seed': Read-only file system
pkg_add: idris2-0.7.0: missing required library: libidris2_support.dylib
pkg_add: 1 package addition failed