../ ginac-tools_1.8.0-2_amd64.deb 04-Sep-2024 19:42 73K ginac-tools_1.8.6-1_amd64.deb 03-Sep-2024 07:51 71K libginac-dev_1.8.0-2_amd64.deb 04-Sep-2024 19:42 1M libginac-dev_1.8.6-1_amd64.deb 03-Sep-2024 07:51 1M libginac11_1.8.0-2_amd64.deb 04-Sep-2024 19:42 879K libginac11_1.8.6-1_amd64.deb 03-Sep-2024 07:51 886K