../ 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.10.3-r1.log 02-Oct-2024 17:18 216K normaliz-3.10.4-r0.log 30-Oct-2024 13:23 221K 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