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