/KOI.alias/1.1/Sat Apr  8 14:15:48 2006//
/KOI.part/1.1/Sat Apr  8 14:15:48 2006//
/KOI7.src/1.1/Sat Apr  8 14:15:48 2006//
/KOI.src/1.2/Sun Sep 17 03:05:11 2006//
/KOI7-switched.src/1.3/Sun Sep 17 03:05:11 2006//
/Makefile.inc/1.2/Sun Oct 26 03:02:37 2008//
D