345108cf65
hanges from V8.1pl2 to V8.1pl3 =============================== Bug fixes - A critical bug and a few other bugs have been fixed.
7 lines
354 B
Text
7 lines
354 B
Text
$NetBSD: distinfo,v 1.8 2008/01/12 11:48:40 tonio Exp $
|
|
|
|
SHA1 (coq-8.1pl3.tar.gz) = c06141891c2a793ff6b4bc1f106d9477b3a9a52e
|
|
RMD160 (coq-8.1pl3.tar.gz) = f8f4749e1014cb47a83915550713cf9ce1992e34
|
|
Size (coq-8.1pl3.tar.gz) = 3003593 bytes
|
|
SHA1 (patch-aa) = bdfe2986da84b13c7df383caf969858707be83f3
|
|
SHA1 (patch-ab) = b252096b0bef5fee0a2f719ddc17021fd013ed64
|