../ bitstream_1.5-1.debian.tar.xz 14-Nov-2018 12:00 2820 bitstream_1.5-1.dsc 14-Nov-2018 12:00 1987 bitstream_1.5.orig.tar.bz2 14-Nov-2018 12:00 120108 libbitstream-dev_1.5-1_all.deb 14-Nov-2018 12:00 131844