summaryrefslogtreecommitdiff
path: root/lang/coq/distinfo
blob: 015a9efacf69e79cc20a8dc747f5d459df0bbe41 (plain)
1
2
3
4
5
$NetBSD: distinfo,v 1.2 2005/02/05 11:19:02 adrianp Exp $

SHA1 (coq-8.0pl2.tar.gz) = 58d0c054c9b50ef12b462f97df2424ee3baa25ab
Size (coq-8.0pl2.tar.gz) = 2285855 bytes
SHA1 (patch-aa) = e62e14729a2dacd7e6e9aa4418c911b34cc4aee5