../ inform-mode_1.5.8-3.diff.gz 10-Mar-2016 10:37 3034 inform-mode_1.5.8-3.dsc 10-Mar-2016 10:37 591 inform-mode_1.5.8-3_all.deb 10-Mar-2016 09:46 20K inform-mode_1.5.8.orig.tar.gz 10-Mar-2016 10:37 16K