../ inform-mode_1.5.8-4.diff.gz 19-Sep-2016 11:33 5428 inform-mode_1.5.8-4.dsc 19-Sep-2016 11:33 1817 inform-mode_1.5.8-4_all.deb 19-Sep-2016 12:13 19472 inform-mode_1.5.8.orig.tar.gz 12-Sep-2005 13:47 15965