openbsd-ports/math/coq/distinfo

SHA256 (coq-8.4pl5.tar.gz) = NYFat4pY1yeZ6sqrFVQnYgqwcWd4gspsmNe/7JfSUkU=
SIZE (coq-8.4pl5.tar.gz) = 4070062
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER). using dpb, sthen@ discovered that having latex around at config time but not at build time will cause the coq build to fail because latex is not listed as a BDEP. Fix this as well. 2014-11-18 02:00:52 +00:00			`SHA256 (coq-8.4pl5.tar.gz) = NYFat4pY1yeZ6sqrFVQnYgqwcWd4gspsmNe/7JfSUkU=`
			`SIZE (coq-8.4pl5.tar.gz) = 4070062`