3 lines
109 B
Plaintext
3 lines
109 B
Plaintext
SHA256 (coq-8.12.1.tar.gz) = 2rrZESOcaez3mTG1E8tCcQHC8V8EUa8Fb78YHfUm+KU=
|
|
SIZE (coq-8.12.1.tar.gz) = 6855317
|