Index of /dev/pool/main/g/ginac/

../
ginac-tools_1.8.1-1_amd64.deb                      15-Aug-2021 21:57               76336
ginac-tools_1.8.2-2_amd64.deb                      15-Jan-2022 17:29               74864
ginac_1.8.1-1.debian.tar.xz                        15-Aug-2021 17:56                5344
ginac_1.8.1-1.dsc                                  15-Aug-2021 17:56                1938
ginac_1.8.1.orig.tar.bz2                           15-Aug-2021 17:56             1128166
ginac_1.8.2-2.debian.tar.xz                        15-Jan-2022 16:48                5768
ginac_1.8.2-2.dsc                                  15-Jan-2022 16:48                1938
ginac_1.8.2.orig.tar.bz2                           01-Jan-2022 18:33             1142428
libginac-dev_1.8.1-1_amd64.deb                     15-Aug-2021 21:57             1236212
libginac-dev_1.8.2-2_amd64.deb                     15-Jan-2022 17:29             1228156
libginac11_1.8.1-1_amd64.deb                       15-Aug-2021 21:57              904136
libginac11_1.8.2-2_amd64.deb                       15-Jan-2022 17:29              903600