../ MUMPS_4.10.0.tar.gz 24-Jan-2014 14:08 2481516 MUMPS_5.0.1.tar.gz 10-Sep-2015 18:09 3066191 MUMPS_5.1.2.tar.gz 26-Mar-2018 12:15 3351215 MUMPS_5.2.1.tar.gz 19-Mar-2020 17:06 3831942 MUMPS_5.3.1.tar.gz 01-May-2020 19:37 3910235 MUMPS_5.6.0.tar.gz 25-Apr-2023 17:08 4337674 MUMPS_5.6.1.tar.gz 21-Jul-2023 00:26 4338885 MUMPS_5.6.2.tar.gz 09-Nov-2023 00:18 4341079