../ ginac-tools_1.8.6-1_amd64.deb 08-Feb-2023 23:58 72680 ginac-tools_1.8.6-1_i386.deb 08-Feb-2023 23:58 75324 libginac-dev_1.8.6-1_amd64.deb 08-Feb-2023 23:58 1234228 libginac-dev_1.8.6-1_i386.deb 08-Feb-2023 23:58 1323484 libginac11_1.8.6-1_amd64.deb 08-Feb-2023 23:58 906928 libginac11_1.8.6-1_i386.deb 08-Feb-2023 23:58 979316