diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-04-09 11:29:23 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-04-09 11:29:23 +0000 |
| commit | b6abaac6d05d00d70e8214118561fbfa704f2631 (patch) | |
| tree | 8e5af044e1a9f43d58e6dc0799682a4aa13c70e0 /lang/coq/distinfo | |
| parent | 486e62655d680f291d322c842dee8d49edfb76ca (diff) | |
| download | pkgsrc-b6abaac6d05d00d70e8214118561fbfa704f2631.tar.gz | |
Updated lang/coq to version 8.7.2.
This fixes a critical bug in the VM handling of universes, and adds
various other minor fixes and improvements.
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 30d3feec67e..66bea3a9a3b 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,7 +1,7 @@ -$NetBSD: distinfo,v 1.29 2018/01/10 16:26:53 jaapb Exp $ +$NetBSD: distinfo,v 1.30 2018/04/09 11:29:23 jaapb Exp $ -SHA1 (coq-8.7.1.tar.gz) = ea4c4bbed3dc1a5550bbb7e2923ed751f9ad2be6 -RMD160 (coq-8.7.1.tar.gz) = 405d24ba9f0eda5b72e8bd0ed0778390cc444bf0 -SHA512 (coq-8.7.1.tar.gz) = 43ef086de93bf99f94d74b9827dd16c79f4d24f5dd4332ee53bbd4588941cb602a64672638a3b3a56bfb612e4dbf7b2a3b5fd4921182dabbbe96e4fef07455b5 -Size (coq-8.7.1.tar.gz) = 5671130 bytes +SHA1 (coq-8.7.2.tar.gz) = 0175cc658aa2c93167572a33e9e39fc63f591258 +RMD160 (coq-8.7.2.tar.gz) = 2fd5c59e0143061e4253d68e8839ae3822d7a614 +SHA512 (coq-8.7.2.tar.gz) = 6117ef243c62805996a21952016acaaf21db6d1b539fc813c19c897e100f45cde2bee7c9fb045b269a241b79306c656969ca8051e3212ea2090f6d7c1afad5a8 +Size (coq-8.7.2.tar.gz) = 5754360 bytes SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc |