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