../ ginac-tools_1.7.11-1_amd64.deb 29-Oct-2020 14:00 68624 ginac-tools_1.7.11-1_arm64.deb 29-Oct-2020 14:00 64168 libginac-dev_1.7.11-1_amd64.deb 29-Oct-2020 14:21 1147468 libginac-dev_1.7.11-1_arm64.deb 29-Oct-2020 14:21 1108356 libginac6_1.7.11-1_amd64.deb 29-Oct-2020 14:21 832784 libginac6_1.7.11-1_arm64.deb 29-Oct-2020 14:21 742312