../ ginac-tools-dbgsym_1.8.8-1_hppa.deb 05-Jan-2025 18:03 780680 ginac-tools_1.8.8-1_hppa.deb 05-Jan-2025 18:03 68224 ginac_1.8.8-1_hppa.buildinfo 05-Jan-2025 18:03 7772 libginac-dev_1.8.8-1_hppa.deb 05-Jan-2025 18:03 1232524 libginac13-dbgsym_1.8.8-1_hppa.deb 05-Jan-2025 18:03 13590196 libginac13_1.8.8-1_hppa.deb 05-Jan-2025 18:03 916572