TIMESTAMP = 1662331865
SHA256 (MUMPS_5.4.1.tar.gz) = 93034a1a9fe0876307136dcde7e98e9086e199de76f1c47da822e7d4de987fa8
SIZE (MUMPS_5.4.1.tar.gz) = 4027725
SHA256 (coin-or-tools-ThirdParty-Mumps-releases-3.0.3_GH0.tar.gz) = 0f56566890917751691f2b633b17765acc77e0a2205ce034dc3e362aa69b118a
SIZE (coin-or-tools-ThirdParty-Mumps-releases-3.0.3_GH0.tar.gz) = 295973
