t2 - Revision 89387: /trunk/package/develop/idris
..
idris.cache
idris.desc