idris-0.12.2: test/pkg005/test.ipkg

package test

executable = test