../ ginac-tools-dbgsym_1.8.8-1_hppa.deb 05-Jan-2025 18:03 762K ginac-tools_1.8.8-1_hppa.deb 05-Jan-2025 18:03 67K 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 1M libginac13-dbgsym_1.8.8-1_hppa.deb 05-Jan-2025 18:03 13M libginac13_1.8.8-1_hppa.deb 05-Jan-2025 18:03 895K