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
package totality -- totality007 -- Test that the package builder doesn't allow totality errors in a build opts = "" sourcedir = src modules = Totality