1/1: Building Main (Main.idr)
Installing __TEST_DIR__/build/ttc/Main.ttc to __TEST_DIR__/currently/nonexistent/dir/idris2-0.7.0/testpkg-0
Installing __TEST_DIR__/build/ttc/Main.ttm to __TEST_DIR__/currently/nonexistent/dir/idris2-0.7.0/testpkg-0
Installing __TEST_DIR__/build/ttc/Main.ttc to __TEST_DIR__/currently/nonexistent/dir/idris2-0.7.0/testpkg-0
Installing __TEST_DIR__/build/ttc/Main.ttm to __TEST_DIR__/currently/nonexistent/dir/idris2-0.7.0/testpkg-0
Installing package file for testpkg to __TEST_DIR__/currently/nonexistent/dir/idris2-0.7.0/testpkg-0
