../ prelude-manager_1.0.1-5.1.diff.gz 15-Aug-2014 09:59 16393 prelude-manager_1.0.1-5.1.dsc 15-Aug-2014 09:59 1923 prelude-manager_1.0.1-5.1_amd64.deb 29-Aug-2014 18:57 227650 prelude-manager_1.0.1-5.1_i386.deb 15-Aug-2014 09:59 231848 prelude-manager_1.0.1.orig.tar.gz 03-Nov-2010 21:47 1138923