=> 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)
pkg_add: idris2-0.7.0: missing required library: libidris2_support.dylib
pkg_add: 1 package addition failed