../ normaliz-3.10.1-r0.log 14-Sep-2023 19:32 205K normaliz-3.10.2-r0.log 11-Mar-2024 06:22 214K normaliz-3.10.2-r1.log 22-Apr-2024 17:06 214K normaliz-3.10.3-r1.log 02-Oct-2024 17:17 214K normaliz-3.10.4-r0.log 30-Oct-2024 13:42 220K normaliz-3.9.4-r0.log.gz 23-Apr-2023 20:31 18K normaliz-3.9.4-r1.log.gz 23-Apr-2023 20:31 18K normaliz-3.9.4-r2.log.gz 23-Apr-2023 20:31 18K normaliz-3.9.4-r3.log 15-May-2023 15:45 187K