Wed Mar 6 09:28:43 2019 UTC ()
doc: Updated lang/coq to 8.9.0


(jaapb)
diff -r1.1142 -r1.1143 pkgsrc/doc/CHANGES-2019
cvs diff -r1.1142 -r1.1143 pkgsrc/doc/CHANGES-2019 (expand / switch to unified diff)

--- pkgsrc/doc/CHANGES-2019 2019/03/06 08:48:49 1.1142
+++ pkgsrc/doc/CHANGES-2019 2019/03/06 09:28:43 1.1143
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: CHANGES-2019,v 1.1142 2019/03/06 08:48:49 adam Exp $ 1$NetBSD: CHANGES-2019,v 1.1143 2019/03/06 09:28:43 jaapb Exp $
2 2
3Changes to the packages collection and infrastructure in 2019: 3Changes to the packages collection and infrastructure in 2019:
4 4
5 Updated net/hub to 2.7.0 [leot 2019-01-01] 5 Updated net/hub to 2.7.0 [leot 2019-01-01]
6 Updated news/sfeed to 0.9.7 [leot 2019-01-01] 6 Updated news/sfeed to 0.9.7 [leot 2019-01-01]
7 Removed chat/xchat successor chat/hexchat [nia 2019-01-01] 7 Removed chat/xchat successor chat/hexchat [nia 2019-01-01]
8 Updated finance/gnucash to 3.4 [wiz 2019-01-01] 8 Updated finance/gnucash to 3.4 [wiz 2019-01-01]
9 Updated finance/gnucash-docs to 3.4 [wiz 2019-01-01] 9 Updated finance/gnucash-docs to 3.4 [wiz 2019-01-01]
10 Updated mail/qmail-rejectutils to 20181230nb1 [schmonz 2019-01-01] 10 Updated mail/qmail-rejectutils to 20181230nb1 [schmonz 2019-01-01]
11 Added graphics/ipe version 7.2.7 [wiz 2019-01-01] 11 Added graphics/ipe version 7.2.7 [wiz 2019-01-01]
12 Added emulators/dolphin-emu version 5.0 [nia 2019-01-01] 12 Added emulators/dolphin-emu version 5.0 [nia 2019-01-01]
13 Updated emulators/nestopia to 1.49 [nia 2019-01-01] 13 Updated emulators/nestopia to 1.49 [nia 2019-01-01]
14 Updated x11/gtk3 to 3.24.2 [leot 2019-01-01] 14 Updated x11/gtk3 to 3.24.2 [leot 2019-01-01]
@@ -1875,13 +1875,14 @@ Changes to the packages collection and i @@ -1875,13 +1875,14 @@ Changes to the packages collection and i
1875 Updated sysutils/mate-power-manager to 1.22.0 [gutteridge 2019-03-06] 1875 Updated sysutils/mate-power-manager to 1.22.0 [gutteridge 2019-03-06]
1876 Updated x11/mate-screensaver to 1.22.0 [gutteridge 2019-03-06] 1876 Updated x11/mate-screensaver to 1.22.0 [gutteridge 2019-03-06]
1877 Updated sysutils/mate-sensors-applet to 1.22.0 [gutteridge 2019-03-06] 1877 Updated sysutils/mate-sensors-applet to 1.22.0 [gutteridge 2019-03-06]
1878 Updated x11/mate-session-manager to 1.22.0 [gutteridge 2019-03-06] 1878 Updated x11/mate-session-manager to 1.22.0 [gutteridge 2019-03-06]
1879 Updated x11/mate-settings-daemon to 1.22.0 [gutteridge 2019-03-06] 1879 Updated x11/mate-settings-daemon to 1.22.0 [gutteridge 2019-03-06]
1880 Updated sysutils/mate-system-monitor to 1.22.0 [gutteridge 2019-03-06] 1880 Updated sysutils/mate-system-monitor to 1.22.0 [gutteridge 2019-03-06]
1881 Updated x11/mate-terminal to 1.22.0 [gutteridge 2019-03-06] 1881 Updated x11/mate-terminal to 1.22.0 [gutteridge 2019-03-06]
1882 Updated net/mate-user-share to 1.22.0 [gutteridge 2019-03-06] 1882 Updated net/mate-user-share to 1.22.0 [gutteridge 2019-03-06]
1883 Updated misc/mate-utils to 1.22.0 [gutteridge 2019-03-06] 1883 Updated misc/mate-utils to 1.22.0 [gutteridge 2019-03-06]
1884 Updated x11/mozo to 1.22.0 [gutteridge 2019-03-06] 1884 Updated x11/mozo to 1.22.0 [gutteridge 2019-03-06]
1885 Updated editors/pluma to 1.22.0 [gutteridge 2019-03-06] 1885 Updated editors/pluma to 1.22.0 [gutteridge 2019-03-06]
1886 Updated databases/py-peewee to 3.9.0 [adam 2019-03-06] 1886 Updated databases/py-peewee to 3.9.0 [adam 2019-03-06]
1887 Updated net/py-tldextract to 2.2.1 [adam 2019-03-06] 1887 Updated net/py-tldextract to 2.2.1 [adam 2019-03-06]
 1888 Updated lang/coq to 8.9.0 [jaapb 2019-03-06]