Wed Jan 10 16:27:05 2018 UTC ()
doc: Updated lang/coq to 8.7.1


(jaapb)
diff -r1.162 -r1.163 pkgsrc/doc/CHANGES-2018
cvs diff -r1.162 -r1.163 pkgsrc/doc/CHANGES-2018 (expand / switch to unified diff)

--- pkgsrc/doc/CHANGES-2018 2018/01/10 16:24:25 1.162
+++ pkgsrc/doc/CHANGES-2018 2018/01/10 16:27:05 1.163
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: CHANGES-2018,v 1.162 2018/01/10 16:24:25 jaapb Exp $ 1$NetBSD: CHANGES-2018,v 1.163 2018/01/10 16:27:05 jaapb Exp $
2 2
3Changes to the packages collection and infrastructure in 2018: 3Changes to the packages collection and infrastructure in 2018:
4 4
5 Updated sysutils/open-vm-tools to 10.2.0 [ryoon 2018-01-01] 5 Updated sysutils/open-vm-tools to 10.2.0 [ryoon 2018-01-01]
6 Updated www/firefox to 57.0.3 [ryoon 2018-01-01] 6 Updated www/firefox to 57.0.3 [ryoon 2018-01-01]
7 Updated www/firefox-l10n to 57.0.3 [ryoon 2018-01-01] 7 Updated www/firefox-l10n to 57.0.3 [ryoon 2018-01-01]
8 Added graphics/icoutils version 0.32.2 [ryoon 2018-01-01] 8 Added graphics/icoutils version 0.32.2 [ryoon 2018-01-01]
9 Updated net/nsd to 4.1.19 [ryoon 2018-01-01] 9 Updated net/nsd to 4.1.19 [ryoon 2018-01-01]
10 Updated graphics/libwebp to 0.6.1 [ryoon 2018-01-01] 10 Updated graphics/libwebp to 0.6.1 [ryoon 2018-01-01]
11 Removed www/apache22 [wiz 2018-01-01] 11 Removed www/apache22 [wiz 2018-01-01]
12 Removed security/otptool [wiz 2018-01-01] 12 Removed security/otptool [wiz 2018-01-01]
13 Removed www/ap-auth-mysql [wiz 2018-01-01] 13 Removed www/ap-auth-mysql [wiz 2018-01-01]
14 Removed www/ap-fastcgi [wiz 2018-01-01] 14 Removed www/ap-fastcgi [wiz 2018-01-01]
@@ -222,13 +222,14 @@ Changes to the packages collection and i @@ -222,13 +222,14 @@ Changes to the packages collection and i
222 Updated devel/ocaml-optcomp to 1.6nb8 [jaapb 2018-01-10] 222 Updated devel/ocaml-optcomp to 1.6nb8 [jaapb 2018-01-10]
223 Updated devel/ocaml-ppx_ast to 0.9.2 [jaapb 2018-01-10] 223 Updated devel/ocaml-ppx_ast to 0.9.2 [jaapb 2018-01-10]
224 Updated devel/ocaml-ppx_core to 0.9.2 [jaapb 2018-01-10] 224 Updated devel/ocaml-ppx_core to 0.9.2 [jaapb 2018-01-10]
225 Updated devel/ocaml-ppx_deriving to 4.2.1 [jaapb 2018-01-10] 225 Updated devel/ocaml-ppx_deriving to 4.2.1 [jaapb 2018-01-10]
226 Updated devel/ocaml-ppx_driver to 0.9.2 [jaapb 2018-01-10] 226 Updated devel/ocaml-ppx_driver to 0.9.2 [jaapb 2018-01-10]
227 Updated devel/ocaml-ppx_tools to 5.1 [jaapb 2018-01-10] 227 Updated devel/ocaml-ppx_tools to 5.1 [jaapb 2018-01-10]
228 Updated devel/ocaml-sexplib to 0.10.0 [jaapb 2018-01-10] 228 Updated devel/ocaml-sexplib to 0.10.0 [jaapb 2018-01-10]
229 Updated devel/ocaml-stdio to 0.10.0nb1 [jaapb 2018-01-10] 229 Updated devel/ocaml-stdio to 0.10.0nb1 [jaapb 2018-01-10]
230 Updated devel/ocamlbuild to 0.12.0 [jaapb 2018-01-10] 230 Updated devel/ocamlbuild to 0.12.0 [jaapb 2018-01-10]
231 Updated devel/ocamlmod to 0.0.8nb2 [jaapb 2018-01-10] 231 Updated devel/ocamlmod to 0.0.8nb2 [jaapb 2018-01-10]
232 Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10] 232 Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10]
233 Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10] 233 Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10]
234 Updated lang/camlp5 to 7.03 [jaapb 2018-01-10] 234 Updated lang/camlp5 to 7.03 [jaapb 2018-01-10]
 235 Updated lang/coq to 8.7.1 [jaapb 2018-01-10]