3 lines
109 B
Plaintext
3 lines
109 B
Plaintext
SHA256 (coq-8.12.2.tar.gz) = LFdBbj7HN7ISYQUS6ufkAln7F6Tkh7SZgVVvKIOOixc=
|
|
SIZE (coq-8.12.2.tar.gz) = 6855860
|