idris-1.3.3: test/pkg005/expected.out

Can't build an executable: No main module given