../ mumax3_3.10-7.debian.tar.xz 20-Dec-2022 11:06 12692 mumax3_3.10-7.dsc 20-Dec-2022 11:06 2011 mumax3_3.10-7_amd64.deb 20-Dec-2022 11:06 12222604 mumax3_3.10.orig.tar.gz 26-Oct-2021 20:44 1088251