git.iko.soy/Idris-dev
on db07875 help sign in
Idris-dev/test/pkg002
4 files
../ Main.idrAdd test that IPKG executable accepts namespaced identifier expectedAdd test that IPKG executable accepts namespaced identifier runAdd test that IPKG executable accepts namespaced identifier test.ipkgAdd test that IPKG executable accepts namespaced identifier