4 lines
185 B
Plaintext
4 lines
185 B
Plaintext
MD5 (coq-8.2-1.tar.gz) = 6907d97342e7b547e2e6d905a474235d
|
|
SHA256 (coq-8.2-1.tar.gz) = b9f789c5ee4668532ad3add281057b2028d2237242d4e7213281fc593e982a0f
|
|
SIZE (coq-8.2-1.tar.gz) = 3650632
|