../ normaliz-3.10.1-r0.log 14-Sep-2023 19:38 207K normaliz-3.10.2-r0.log 10-Mar-2024 23:05 216K normaliz-3.10.2-r1.log 05-May-2024 05:05 215K normaliz-3.10.3-r1.log 02-Oct-2024 17:17 216K normaliz-3.10.4-r0.log 30-Oct-2024 12:54 221K normaliz-3.9.4-r0.log.gz 23-Apr-2023 06:59 18K normaliz-3.9.4-r1.log.gz 23-Apr-2023 06:59 18K normaliz-3.9.4-r2.log.gz 23-Apr-2023 06:59 18K normaliz-3.9.4-r3.log 16-May-2023 00:34 188K