add Mumps 5.7.3

coin-or-tools · Sep 25, 2024 · 56d4fab · 56d4fab
1 parent d8db493
commit 56d4fab
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/MUMPS_5.7.3.tar.gz b/MUMPS_5.7.3.tar.gz
diff --git a/index.md b/index.md
@@ -14,3 +14,4 @@ Mumps download
 - [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)
+- [Mumps 5.7.3](MUMPS_5.7.3.tar.gz)