../ normaliz-3.10.1-r0.log 14-Sep-2023 19:35 205K normaliz-3.10.2-r0.log 11-Mar-2024 02:18 214K normaliz-3.10.2-r1.log 22-Apr-2024 18:11 214K 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 15-May-2023 23:14 187K