packages feed

idris-0.9.17: test/totality007/totality.ipkg

package totality

-- totality007
-- Test that the package builder doesn't allow totality errors in a build
opts = "--consolewidth 80"
sourcedir = src
modules = Totality