[BACK]Return to distinfo CVS log [TXT][DIR] Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

File: [cvs.NetBSD.org] / pkgsrc / lang / coq / distinfo (download)

Revision 1.28, Fri Nov 3 11:20:28 2017 UTC (5 months, 2 weeks ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2017Q4-base, pkgsrc-2017Q4
Changes since 1.27: +7 -6 lines

Updated lang/coq to version 8.7.0.

Includes many improvements and bugfixes (none that seem to be breaking
backwards compatibility though), see the CHANGELOG.
For packaging:
- camlp4 support removed, package now uses camlp5 exclusively
- fix for PR pkg/52651

$NetBSD: distinfo,v 1.28 2017/11/03 11:20:28 jaapb Exp $

SHA1 (coq-8.7.0.tar.gz) = b539e0ff6f2a6dd31bbe8856db152705f9a22a01
RMD160 (coq-8.7.0.tar.gz) = 7e752473b27a2d1a0f95ea3eb258ffba5a5a8d4f
SHA512 (coq-8.7.0.tar.gz) = c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2
Size (coq-8.7.0.tar.gz) = 5629204 bytes
SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc
SHA1 (patch-configure.ml) = 8e48a65709234281e3898ebae9041dfc04c7fe7b
SHA1 (patch-ide_ideutils.ml) = 7fd59bcfc0cf4f65fd7f4e5a0ec95cb694df8417