idris-0.12.2: test/pkg006/test.ipkg

package test

executable = test