../ ginac-tools-dbgsym_1.8.8-1+b1_amd64.deb 04-Jun-2025 21:23 797K ginac-tools_1.8.8-1+b1_amd64.deb 04-Jun-2025 19:20 73K ginac_1.8.8-1.debian.tar.xz 22-May-2025 22:48 5696 ginac_1.8.8-1.dsc 22-May-2025 22:48 1924 ginac_1.8.8.orig.tar.bz2 22-May-2025 22:48 1M libginac-dev_1.8.8-1+b1_amd64.deb 04-Jun-2025 19:28 1M libginac13-dbgsym_1.8.8-1+b1_amd64.deb 04-Jun-2025 22:50 14M libginac13_1.8.8-1+b1_amd64.deb 04-Jun-2025 19:07 940K