ginac-tools_1.8.9-1_amd64.deb
ginac-tools_1.8.9-1_arm64.deb
libginac-dev_1.8.9-1_amd64.deb
libginac-dev_1.8.9-1_arm64.deb
libginac13_1.8.9-1_amd64.deb
libginac13_1.8.9-1_arm64.deb