Index of /debian/pool/main/n/normaliz
Name Last modified Size Description
Parent Directory -
libnormaliz-dev_3.9.4+ds-2_amd64.deb 2022-11-20 17:56 1.5M
normaliz_3.9.4+ds.orig.tar.xz 2022-09-10 16:37 1.5M
libnormaliz3_3.9.4+ds-2_amd64.deb 2022-11-20 17:56 1.4M
normaliz-doc_3.9.4+ds-2_all.deb 2022-11-20 17:51 931K
libnormaliz-dev-common_3.9.4+ds-2_all.deb 2022-11-20 17:51 59K
normaliz-bin_3.9.4+ds-2_amd64.deb 2022-11-20 17:56 39K
normaliz_3.9.4+ds-2_all.deb 2022-11-20 17:51 7.3K
normaliz_3.9.4+ds-2.debian.tar.xz 2022-11-20 16:50 7.0K
normaliz_3.9.4+ds-2.dsc 2022-11-20 16:50 3.2K