MD5 (coq-8.1pl1.tar.gz) = 4d0e393b6c62bb4508aa454878c9e8ab
SHA256 (coq-8.1pl1.tar.gz) = 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940
SIZE (coq-8.1pl1.tar.gz) = 2984726