../ mumax3_3.10-7.debian.tar.xz 20-Dec-2022 05:06 12692 mumax3_3.10-7.dsc 20-Dec-2022 05:06 2011 mumax3_3.10-8.debian.tar.xz 28-Jul-2023 17:49 12748 mumax3_3.10-8.dsc 28-Jul-2023 17:49 2011 mumax3_3.10.orig.tar.gz 26-Oct-2021 14:44 1088251