1TIMESTAMP = 1669191120
2SHA256 (MUMPS_5.5.0.tar.gz) = e54d17c5e42a36c40607a03279e0704d239d71d38503aab68ef3bfe0a9a79c13
3SIZE (MUMPS_5.5.0.tar.gz) = 4227467
4SHA256 (coin-or-tools-ThirdParty-Mumps-releases-3.0.3_GH0.tar.gz) = 0f56566890917751691f2b633b17765acc77e0a2205ce034dc3e362aa69b118a
5SIZE (coin-or-tools-ThirdParty-Mumps-releases-3.0.3_GH0.tar.gz) = 295973
6