packages feed

idris-0.9.13: test/totality007/totality.ipkg

package totality

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