idris-0.12.2: test/pkg005/expected

Can't build an executable: No main module given