Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/g/ginac/

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