The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ wavtool-pl_0.20150501-1.debian.tar.xz 12-May-2015 23:13 4148 wavtool-pl_0.20150501-1.dsc 12-May-2015 23:13 1820 wavtool-pl_0.20150501-1_arm64.deb 12-May-2015 23:38 8948 wavtool-pl_0.20150501-1_armhf.deb 12-May-2015 23:28 9004 wavtool-pl_0.20150501-1build1.debian.tar.xz 05-Apr-2018 14:41 4284 wavtool-pl_0.20150501-1build1.dsc 05-Apr-2018 14:41 1966 wavtool-pl_0.20150501-1build1_arm64.deb 05-Apr-2018 15:38 9240 wavtool-pl_0.20150501-1build1_armhf.deb 05-Apr-2018 15:38 9336 wavtool-pl_0.20150501-3.debian.tar.xz 06-Nov-2022 04:33 4372 wavtool-pl_0.20150501-3.dsc 06-Nov-2022 04:33 1862 wavtool-pl_0.20150501-3_arm64.deb 06-Nov-2022 19:07 8756 wavtool-pl_0.20150501-3_armhf.deb 06-Nov-2022 19:07 9736 wavtool-pl_0.20150501.orig.tar.gz 12-May-2015 23:13 115604
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.