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