git.iko.soy/Idris-dev
on db07875 help sign in
Idris-dev/test/pkg004
4 files
../ Main.idrTest that IPKG rejects executable with directory component expectedTest that IPKG rejects executable with directory component runTest that IPKG rejects executable with directory component test.ipkgTest that IPKG rejects executable with directory component