../ convert/ 18-Sep-1996 20:10 - dist08/ 02-Aug-1996 19:48 - mpeg_encode/ 02-Oct-1997 17:11 - mpeg_play/ 17-Oct-1996 22:49 - ANNOUNCE 20-Oct-1995 22:35 8242 COPYRIGHT 27-Feb-1995 21:42 1076 mpeg_play-2.3-patched-src1.tar 17-Oct-1996 21:41 716800 mpeg_play-sgi5.3.tar 17-Oct-1996 21:00 235520 mpeg_play.1 16-Aug-1995 22:28 8137