git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/pkg004
4 files
../ Main.idrTest that IPKG rejects executable with directory component expectedFix errors for pkg004 runmake the tests respect the IDRIS env variable test.ipkgFix test for Windows path separators