git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/test/pkg002
4 files
../ Main.idrAdd test that IPKG executable accepts namespaced identifier expectedMake the pkg tests take the same display options as the other tests. runAdd test that IPKG executable accepts namespaced identifier test.ipkgMake the pkg tests take the same display options as the other tests.