Index of /distfiles/mumps/


../
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