../ bitstream_1.5-1.debian.tar.xz 08-Nov-2018 21:41 2820 bitstream_1.5-1.dsc 08-Nov-2018 21:41 1987 bitstream_1.5.orig.tar.bz2 08-Nov-2018 21:41 120108 libbitstream-dev_1.5-1_all.deb 08-Nov-2018 22:17 131844