blob: 9e6e3d1efa5a5867c2f63d1ed724b5eca12671db (
plain)
1
2
3
4
5
6
7
|
$NetBSD: distinfo,v 1.31 2018/08/02 12:57:03 jaapb Exp $
SHA1 (coq-8.8.1.tar.gz) = 7dd5e31f9dd3f80d6dabfb019d1f495244f61999
RMD160 (coq-8.8.1.tar.gz) = 72b75b1d3a78c1a34b8bac86a0180b8bb677db14
SHA512 (coq-8.8.1.tar.gz) = 706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4
Size (coq-8.8.1.tar.gz) = 5934404 bytes
SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc
|
