add MUMPS 5.7.2

coin-or-tools · Jul 10, 2024 · d8db493 · d8db493
1 parent 4034227
commit d8db493
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/MUMPS_5.7.2.tar.gz b/MUMPS_5.7.2.tar.gz
diff --git a/index.md b/index.md
@@ -13,3 +13,4 @@ Mumps download
 - [Mumps 5.6.2](MUMPS_5.6.2.tar.gz)
 - [Mumps 5.7.0](MUMPS_5.7.0.tar.gz)
 - [Mumps 5.7.1](MUMPS_5.7.1.tar.gz)
+- [Mumps 5.7.2](MUMPS_5.7.2.tar.gz)