../ ginac-tools_1.8.6-1_amd64.deb 08-Feb-2023 23:58 72680 ginac_1.8.6-1.debian.tar.xz 08-Feb-2023 22:07 5676 ginac_1.8.6-1.dsc 08-Feb-2023 22:07 1925 ginac_1.8.6.orig.tar.bz2 08-Feb-2023 22:07 1152914 libginac-dev_1.8.6-1_amd64.deb 08-Feb-2023 23:58 1234228 libginac11_1.8.6-1_amd64.deb 08-Feb-2023 23:58 906928