TIMESTAMP = 1669191120
SHA256 (MUMPS_5.5.0.tar.gz) = e54d17c5e42a36c40607a03279e0704d239d71d38503aab68ef3bfe0a9a79c13
SIZE (MUMPS_5.5.0.tar.gz) = 4227467
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