2 lines
129 B
Text
2 lines
129 B
Text
SHA256 (coq-8.4pl2.tar.gz) = fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
|
|
SIZE (coq-8.4pl2.tar.gz) = 4145112
|