diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-01-10 16:27:05 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-01-10 16:27:05 +0000 |
| commit | f9cd08fe86fb7c9ef7e05b71c6672c0e90849c04 (patch) | |
| tree | 92fe8ab905eed771caba699a0fcda34739d324e7 | |
| parent | 7279512cad0cf94b22520f5b5c4befd62fa97b3c (diff) | |
| download | pkgsrc-f9cd08fe86fb7c9ef7e05b71c6672c0e90849c04.tar.gz | |
doc: Updated lang/coq to 8.7.1
| -rw-r--r-- | doc/CHANGES-2018 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2018 b/doc/CHANGES-2018 index a0b29478cd3..94585b44665 100644 --- a/doc/CHANGES-2018 +++ b/doc/CHANGES-2018 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2018,v 1.162 2018/01/10 16:24:25 jaapb Exp $ +$NetBSD: CHANGES-2018,v 1.163 2018/01/10 16:27:05 jaapb Exp $ Changes to the packages collection and infrastructure in 2018: @@ -232,3 +232,4 @@ Changes to the packages collection and infrastructure in 2018: Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10] Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10] Updated lang/camlp5 to 7.03 [jaapb 2018-01-10] + Updated lang/coq to 8.7.1 [jaapb 2018-01-10] |