[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.33, Thu May 23 10:55:07 2019 UTC (12 months, 1 week ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2019Q2-base, pkgsrc-2019Q2
Changes since 1.32: +5 -5 lines

Updated lang/coq to version 8.9.1.

Main changes:
* some quality-of-life bug fixes,
* many improvements to the documentation,
* a critical bug fix related to primitive projections and native_compute,
* several additional Coq libraries shipped with the Windows installer.

$NetBSD: distinfo,v 1.33 2019/05/23 10:55:07 jaapb Exp $

SHA1 (coq-8.9.1.tar.gz) = d26646b33922bcd9eb44ef80162f8d0513784e46
RMD160 (coq-8.9.1.tar.gz) = d82a0f7d31c0e5d7b8b566cd15d7ff9f724c250b
SHA512 (coq-8.9.1.tar.gz) = 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983
Size (coq-8.9.1.tar.gz) = 6001970 bytes
SHA1 (patch-Makefile.common) = f232485fddc61c51cd12ac5567b706f5f2299328