../ normaliz-3.10.1-r0.log 14-Sep-2023 19:37 206K normaliz-3.10.2-r0.log 10-Mar-2024 23:04 215K normaliz-3.10.2-r1.log 22-Apr-2024 17:13 214K normaliz-3.9.4-r0.log 06-Nov-2022 08:46 186K normaliz-3.9.4-r1.log 21-Dec-2022 20:55 185K normaliz-3.9.4-r2.log 15-Apr-2023 19:05 186K normaliz-3.9.4-r3.log 15-May-2023 19:44 187K