../ normaliz-3.10.1-r0.log 14-Sep-2023 19:32 205K normaliz-3.10.2-r0.log 10-Mar-2024 23:03 214K normaliz-3.10.2-r1.log 22-Apr-2024 17:34 214K normaliz-3.9.4-r0.log 06-Nov-2022 08:46 185K normaliz-3.9.4-r1.log 22-Dec-2022 02:30 185K normaliz-3.9.4-r2.log 14-Apr-2023 11:36 185K normaliz-3.9.4-r3.log 15-May-2023 14:46 188K