Mon Apr 9 11:30:14 2018 UTC ()
doc: Updated lang/coq to 8.7.2


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

--- pkgsrc/doc/CHANGES-2018 2018/04/09 11:26:02 1.1717
+++ pkgsrc/doc/CHANGES-2018 2018/04/09 11:30:14 1.1718
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: CHANGES-2018,v 1.1717 2018/04/09 11:26:02 jaapb Exp $ 1$NetBSD: CHANGES-2018,v 1.1718 2018/04/09 11:30:14 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]
@@ -2326,13 +2326,14 @@ Changes to the packages collection and i @@ -2326,13 +2326,14 @@ Changes to the packages collection and i
2326 Updated archivers/py-zstandard to 0.9.0 [adam 2018-04-09] 2326 Updated archivers/py-zstandard to 0.9.0 [adam 2018-04-09]
2327 Updated devel/py-pyutil to 3.1.0 [adam 2018-04-09] 2327 Updated devel/py-pyutil to 3.1.0 [adam 2018-04-09]
2328 Updated www/webkit-gtk to 2.18.6 [wiz 2018-04-09] 2328 Updated www/webkit-gtk to 2.18.6 [wiz 2018-04-09]
2329 Added finance/gnucash2 version 2.6.19nb1 [wiz 2018-04-09] 2329 Added finance/gnucash2 version 2.6.19nb1 [wiz 2018-04-09]
2330 Updated finance/gnucash to 3.0 [wiz 2018-04-09] 2330 Updated finance/gnucash to 3.0 [wiz 2018-04-09]
2331 Added devel/ocaml-lwt_ppx version 1.1.0 [jaapb 2018-04-09] 2331 Added devel/ocaml-lwt_ppx version 1.1.0 [jaapb 2018-04-09]
2332 Updated devel/py-dulwich to 0.19.2 [adam 2018-04-09] 2332 Updated devel/py-dulwich to 0.19.2 [adam 2018-04-09]
2333 Updated net/py-xandikos to 0.0.9 [adam 2018-04-09] 2333 Updated net/py-xandikos to 0.0.9 [adam 2018-04-09]
2334 Updated devel/ocaml-result to 1.3 [jaapb 2018-04-09] 2334 Updated devel/ocaml-result to 1.3 [jaapb 2018-04-09]
2335 Updated net/youtube-dl to 20180409 [leot 2018-04-09] 2335 Updated net/youtube-dl to 20180409 [leot 2018-04-09]
2336 Updated www/py-h11 to 0.8.0 [adam 2018-04-09] 2336 Updated www/py-h11 to 0.8.0 [adam 2018-04-09]
2337 Updated fonts/py-fonttools to 3.25.0 [adam 2018-04-09] 2337 Updated fonts/py-fonttools to 3.25.0 [adam 2018-04-09]
2338 Updated misc/ocaml-opam to 2.0.0_rc [jaapb 2018-04-09] 2338 Updated misc/ocaml-opam to 2.0.0_rc [jaapb 2018-04-09]
 2339 Updated lang/coq to 8.7.2 [jaapb 2018-04-09]