![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | BASE/ | 19-May-2025 18:54 | - | |
![]() | CORE/ | 19-May-2025 19:30 | - | |
![]() | EVAL/ | 20-May-2025 22:24 | - | |
![]() | JUNK/ | 23-Jun-2012 00:15 | - | |
![]() | PLUS/ | 21-May-2025 08:00 | - | |
![]() | 00INDEX.rdf | 05-Jan-2010 17:48 | 344 | |
![]() | 00INDEX.rdf.bz2 | 21-May-2025 06:22 | 512K | |
![]() | 00INDEX.rdf.bz2.tmp | 21-May-2025 09:08 | 256K |