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


../
libnormaliz-dev_3.9.3+ds-1_sh4.deb                                                                                       25-Apr-2022 00:03      2M
libnormaliz3-dbgsym_3.9.3+ds-1_sh4.deb                                                                                   25-Apr-2022 00:03     14M
libnormaliz3_3.9.3+ds-1_sh4.deb                                                                                          25-Apr-2022 00:03      1M
normaliz-bin_3.9.3+ds-1_sh4.deb                                                                                          25-Apr-2022 00:03     39K
normaliz_3.9.3+ds-1_sh4.buildinfo                                                                                        25-Apr-2022 00:03    6904