pkgsrc/lang/coq/distinfo

$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $

SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b
Size (coq-7.4.tar.gz) = 1537547 bytes
SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e
By popular demand, move coq-7.4 from math to lang in order to be consistent with prior art (e.g. lang/twelf). Coq is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions. It allows the interactive construction of formal proofs, and also the manipulation of functional programs consistently with their specifications. 2003-03-22 21:21:16 +01:00			$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $

			`SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b`
			`Size (coq-7.4.tar.gz) = 1537547 bytes`
			`SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e`