../ wavtool-pl_0.20150501-1.debian.tar.xz 12-May-2015 16:36 4148 wavtool-pl_0.20150501-1.dsc 12-May-2015 16:36 1820 wavtool-pl_0.20150501-1_armhf.deb 23-May-2015 10:08 8922 wavtool-pl_0.20150501-3.debian.tar.xz 29-Sep-2022 08:02 4372 wavtool-pl_0.20150501-3.dsc 29-Sep-2022 08:02 1862 wavtool-pl_0.20150501-3_armhf.deb 09-Oct-2022 10:08 9260 wavtool-pl_0.20150501.orig.tar.gz 12-May-2015 16:36 115604