Index of /debian-php/pool/main/n/normaliz/


../
libnormaliz-dev-common_3.6.3+ds-1_all.deb          31-Aug-2022 14:37               30828
libnormaliz-dev-common_3.8.9+ds-0.1_all.deb        01-Sep-2022 17:30               48304
libnormaliz-dev_3.6.3+ds-1_amd64.deb               31-Aug-2022 14:37              708148
libnormaliz-dev_3.8.9+ds-0.1_amd64.deb             01-Sep-2022 17:30             1398464
libnormaliz3_3.6.3+ds-1_amd64.deb                  31-Aug-2022 14:37              710000
libnormaliz3_3.8.9+ds-0.1_amd64.deb                01-Sep-2022 17:30             1288924
normaliz-bin_3.6.3+ds-1_amd64.deb                  31-Aug-2022 14:37               84120
normaliz-bin_3.8.9+ds-0.1_amd64.deb                01-Sep-2022 17:30               40220
normaliz-doc_3.6.3+ds-1_all.deb                    31-Aug-2022 14:37              748892
normaliz-doc_3.8.9+ds-0.1_all.deb                  01-Sep-2022 17:30              836044
normaliz_3.6.3+ds-1_amd64.deb                      31-Aug-2022 14:37                6584
normaliz_3.8.9+ds-0.1_all.deb                      01-Sep-2022 17:30                8056