../ ginac-tools_1.8.7-1build2_arm64.deb 31-Mar-2024 07:13 69494 ginac-tools_1.8.7-1build2_armhf.deb 31-Mar-2024 07:13 69278 libginac-dev_1.8.7-1build2_arm64.deb 31-Mar-2024 07:13 1399656 libginac-dev_1.8.7-1build2_armhf.deb 31-Mar-2024 07:13 1393384 libginac11_1.8.7-1build2_arm64.deb 31-Mar-2024 07:13 878800 libginac11_1.8.7-1build2_armhf.deb 31-Mar-2024 07:13 912804