../ normaliz-3.10.1-r0.log 14-Sep-2023 19:51 90K normaliz-3.10.2-r0.log 10-Mar-2024 23:08 97K normaliz-3.10.2-r1.log 25-Apr-2024 21:28 214K normaliz-3.10.4-r0.log 30-Oct-2024 17:42 220K normaliz-3.9.4-r0.log 06-Nov-2022 08:49 77K normaliz-3.9.4-r1.log 22-Dec-2022 19:24 76K normaliz-3.9.4-r2.log 18-Apr-2023 14:06 76K normaliz-3.9.4-r3.log 19-May-2023 03:59 77K