../ 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-8.debian.tar.xz 28-Jul-2023 23:49 12748 mumax3_3.10-8.dsc 28-Jul-2023 23:49 2011 mumax3_3.10.orig.tar.gz 26-Oct-2021 20:44 1088251