../ 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 python3-manuel_1.12.4-2_all.deb 02-Dec-2022 22:27 75100