3 lines
107 B
Plaintext
3 lines
107 B
Plaintext
SHA256 (coq-8.8.0.tar.gz) = yvfB055o4OQe2Svh1XyImD+xLtufqVZnpa0tarqYJj0=
|
|
SIZE (coq-8.8.0.tar.gz) = 5927663
|