../ normaliz-3.10.1-r0.log.gz 14-Sep-2023 19:35 19K normaliz-3.10.2-r0.log.gz 11-Mar-2024 02:18 19K normaliz-3.10.2-r1.log.gz 22-Apr-2024 18:11 19K normaliz-3.10.3-r1.log 02-Oct-2024 17:18 215K normaliz-3.10.4-r0.log 30-Oct-2024 12:49 220K normaliz-3.9.4-r0.log.gz 23-Apr-2023 15:19 18K normaliz-3.9.4-r1.log.gz 23-Apr-2023 15:19 18K normaliz-3.9.4-r2.log.gz 23-Apr-2023 15:19 18K normaliz-3.9.4-r3.log.gz 15-May-2023 23:14 18K