Index of /debian-ports/pool-sh4/main/n/normaliz/


../
libnormaliz-dev_3.9.3+ds-1_sh4.deb                 25-Apr-2022 00:03             1682984
libnormaliz3-dbgsym_3.9.3+ds-1_sh4.deb             25-Apr-2022 00:03            14596624
libnormaliz3_3.9.3+ds-1_sh4.deb                    25-Apr-2022 00:03             1485076
normaliz-bin_3.9.3+ds-1_sh4.deb                    25-Apr-2022 00:03               39556
normaliz_3.9.3+ds-1_sh4.buildinfo                  25-Apr-2022 00:03                6904