idris-1.3.0: test/pkg010/wrongopts.ipkg

package wrongopts

opts = "-total"