Index of /archriscv/.status/logs/normaliz/

../
normaliz-3.10.1-2.log                              23-Oct-2023 16:22              253766
normaliz-3.10.2-1.log                              01-Mar-2024 21:36                1345
normaliz-3.10.4-2.log                              19-Mar-2025 08:48              233740