../ mumax3_3.10-7.debian.tar.xz 20-Dec-2022 11:06 12K mumax3_3.10-7.dsc 20-Dec-2022 11:06 2011 mumax3_3.10-9.debian.tar.xz 27-Sep-2024 17:59 13K mumax3_3.10-9.dsc 27-Sep-2024 17:59 2011 mumax3_3.10.orig.tar.gz 26-Oct-2021 20:44 1M