blob: 3cd926d82e2c35a4ab91d4c20c292315957a796e (
plain)
1
2
3
4
5
6
7
|
$NetBSD: distinfo,v 1.18 2013/10/27 22:22:31 joerg Exp $
SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6
RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da
Size (coq-8.4pl2.tar.gz) = 4145112 bytes
SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4
SHA1 (patch-configure) = 1ad232e16d397a762e61c000d1859c70d2447fc1
|
