Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 30-Nov-2002 19:29 -
![[ ]](/icons/compressed.gif){kind=icon}
ibycus4.tgz 21-Jul-2000 00:00 840k
![[ ]](/icons/unknown.gif){kind=icon}
pkginfo 09-Jul-2000 00:00 1k
![[DIR]](/icons/folder.gif){kind=icon}
tex/ 30-Nov-2002 18:54 -
fonts/ 30-Nov-2002 18:53 -
dvips/ 30-Nov-2002 18:50 -
doc/ 30-Nov-2002 18:49 -