../ patroni_1.4.2-2.debian.tar.xz 15-Feb-2018 19:20 7088 patroni_1.4.2-2.dsc 15-Feb-2018 19:20 2768 patroni_1.4.2-2_all.deb 15-Feb-2018 20:10 146888 patroni_1.4.2.orig.tar.gz 03-Feb-2018 09:09 664537