Index of /20.04/full/mirror/archive.ubuntu.com/ubuntu/pool/universe/g/ginac/

../
ginac-tools_1.7.8-2build1_amd64.deb                22-Mar-2020 17:40               66228
libginac-dev_1.7.8-2build1_amd64.deb               22-Mar-2020 17:40             1142132
libginac6_1.7.8-2build1_amd64.deb                  22-Mar-2020 17:40              828376