../ manuel_1.12.4-2.debian.tar.xz 03-Dec-2022 06:52 4612 manuel_1.12.4-2.dsc 03-Dec-2022 06:52 2202 manuel_1.12.4.orig.tar.gz 07-Oct-2022 22:42 38K python3-manuel_1.12.4-2_all.deb 03-Dec-2022 07:27 73K