diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-08-02 12:57:03 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-08-02 12:57:03 +0000 |
| commit | 71e27fd69d4a2dc63a63e1c30db5bd16e33e7f47 (patch) | |
| tree | da0d2a074f479736bf4ff036a01303c908365882 /lang/coq/distinfo | |
| parent | e47e089c173289be459dafb8f7ca769938a0dd4e (diff) | |
| download | pkgsrc-71e27fd69d4a2dc63a63e1c30db5bd16e33e7f47.tar.gz | |
Updated package lang/coq to version 8.8.1.
The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.
The reference manual has been fully ported to Sphinx.
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 66bea3a9a3b..9e6e3d1efa5 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,7 +1,7 @@ -$NetBSD: distinfo,v 1.30 2018/04/09 11:29:23 jaapb Exp $ +$NetBSD: distinfo,v 1.31 2018/08/02 12:57:03 jaapb Exp $ -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 (coq-8.8.1.tar.gz) = 7dd5e31f9dd3f80d6dabfb019d1f495244f61999 +RMD160 (coq-8.8.1.tar.gz) = 72b75b1d3a78c1a34b8bac86a0180b8bb677db14 +SHA512 (coq-8.8.1.tar.gz) = 706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4 +Size (coq-8.8.1.tar.gz) = 5934404 bytes SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc |