idris-0.12.2: test/pkg006/expected

Can't start REPL: no main module given