../ prelude-manager-3.0.0-conf.patch 05-Aug-2016 01:10 479 prelude-manager-3.0.0-configure.patch 05-Aug-2016 01:10 2683 prelude-manager-3.0.0-run.patch 05-Aug-2016 01:10 552 prelude-manager-3.1.0-run.patch 06-Dec-2016 17:27 570 prelude-manager.initd 28-Feb-2017 20:43 591 prelude-manager.run 05-Aug-2016 01:10 133 prelude-manager.service 05-Aug-2016 01:10 398