../ inform-mode_1.5.8-3.diff.gz 19-Apr-2012 01:22 3034 inform-mode_1.5.8-3.dsc 19-Apr-2012 01:22 591 inform-mode_1.5.8-4.diff.gz 20-Sep-2016 10:59 5428 inform-mode_1.5.8-4.dsc 20-Sep-2016 10:59 1817 inform-mode_1.5.8.orig.tar.gz 19-Apr-2012 01:22 15965