../ manuel_1.12.4-2.debian.tar.xz 02-Dec-2022 15:52 4612 manuel_1.12.4-2.dsc 02-Dec-2022 15:52 2202 manuel_1.12.4.orig.tar.gz 07-Oct-2022 07:42 39337 python3-manuel_1.12.4-2_all.deb 02-Dec-2022 16:27 75100