../ pips760_1.2-1_i386.deb 06-Nov-2000 19:54 891938 pips770_1.2-1_i386.deb 06-Nov-2000 19:54 928428 pips800_1.2-1_i386.deb 06-Nov-2000 19:54 1016438 pips820-3300_1.2-1_i386.deb 06-Nov-2000 19:54 1199528 pips_1.2-1.diff.gz 06-Nov-2000 19:54 4547 pips_1.2-1.dsc 06-Nov-2000 19:54 593 pips_1.2.orig.tar.gz 06-Nov-2000 19:54 3815699