Index of /mirror.yandex.ru/debian/pool/main/n/normaliz/


../
libnormaliz-dev-common_3.8.9+ds-0.1_all.deb        12-Oct-2020 11:23               48304
libnormaliz-dev_3.8.9+ds-0.1_amd64.deb             12-Oct-2020 11:13             1398464
libnormaliz3_3.8.9+ds-0.1_amd64.deb                12-Oct-2020 11:13             1288924
normaliz-bin_3.8.9+ds-0.1_amd64.deb                12-Oct-2020 11:13               40220
normaliz-doc_3.8.9+ds-0.1_all.deb                  12-Oct-2020 11:23              836044
normaliz_3.8.9+ds-0.1_all.deb                      12-Oct-2020 11:23                8056