../ prelude-manager_1.0.1-5.2.diff.gz 27-Sep-2016 13:20 16551 prelude-manager_1.0.1-5.2.dsc 27-Sep-2016 13:20 1843 prelude-manager_1.0.1-5.2_amd64.deb 02-Oct-2016 14:00 224920 prelude-manager_1.0.1-5.2_i386.deb 02-Oct-2016 14:00 232534 prelude-manager_1.0.1.orig.tar.gz 03-Nov-2010 21:47 1138923