openbsd-ports/math/coq/distinfo

3 lines
109 B
Plaintext

SHA256 (coq-8.4pl6.tar.gz) = pUCiMamXCkk1PKA581RGFv+GogiWarHFk3ea4TyR69Y=
SIZE (coq-8.4pl6.tar.gz) = 4099815