../ libpapilo-clusol0d_2.4.1+ds-1_amd64.deb 10-Feb-2025 16:40 73700 libpapilo-core0d_2.4.1+ds-1_amd64.deb 10-Feb-2025 16:40 1056360 libpapilo-dev_2.4.1+ds-1_amd64.deb 10-Feb-2025 16:40 184040 papilo_2.4.1+ds-1.debian.tar.xz 10-Feb-2025 16:09 9552 papilo_2.4.1+ds-1.dsc 10-Feb-2025 16:09 2763 papilo_2.4.1+ds-1_amd64.deb 10-Feb-2025 16:40 1561952 papilo_2.4.1+ds.orig.tar.xz 10-Feb-2025 16:09 753300