../ manuel_1.12.4-2.debian.tar.xz 02-Dec-2022 21:52 4612 manuel_1.12.4-2.dsc 02-Dec-2022 21:52 2202 manuel_1.12.4.orig.tar.gz 07-Oct-2022 13:42 39337 manuel_1.13.0-2.debian.tar.xz 28-Nov-2025 20:54 5460 manuel_1.13.0-2.dsc 28-Nov-2025 20:54 2204 manuel_1.13.0.orig.tar.gz 28-Nov-2025 20:54 39922 python3-manuel_1.12.4-2_all.deb 02-Dec-2022 22:27 75100 python3-manuel_1.13.0-2_all.deb 28-Nov-2025 20:54 77028