blob: 8db976080891e68b0e3f648e8482a0b728166d5a (
plain)
1
2
3
4
5
|
$NetBSD: distinfo,v 1.1.1.1 2003/03/22 18:20:55 kristerw Exp $
SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b
Size (coq-7.4.tar.gz) = 1537547 bytes
SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e
|
