../ ginac-tools_1.7.8-2build1_arm64.deb 22-Mar-2020 19:59 60K libginac-dev_1.7.8-2build1_arm64.deb 22-Mar-2020 19:59 1M libginac6_1.7.8-2build1_arm64.deb 22-Mar-2020 19:59 727K