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