Fri Sep 8 17:19:45 2017 UTC ()
Updated lang/coq to 8.6.1


(jaapb)
diff -r1.3679 -r1.3680 pkgsrc/doc/CHANGES-2017
cvs diff -r1.3679 -r1.3680 pkgsrc/doc/CHANGES-2017 (expand / switch to unified diff)

--- pkgsrc/doc/CHANGES-2017 2017/09/08 17:11:07 1.3679
+++ pkgsrc/doc/CHANGES-2017 2017/09/08 17:19:45 1.3680
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: CHANGES-2017,v 1.3679 2017/09/08 17:11:07 jaapb Exp $ 1$NetBSD: CHANGES-2017,v 1.3680 2017/09/08 17:19:45 jaapb Exp $
2 2
3Changes to the packages collection and infrastructure in 2017: 3Changes to the packages collection and infrastructure in 2017:
4 4
5 Updated ham/fldigi to 3.23.19 [mef 2017-01-01] 5 Updated ham/fldigi to 3.23.19 [mef 2017-01-01]
6 Updated cad/gtkwave to 3.3.79 [mef 2017-01-01] 6 Updated cad/gtkwave to 3.3.79 [mef 2017-01-01]
7 Updated devel/py-requests to 2.12.4nb1 [ryoon 2017-01-01] 7 Updated devel/py-requests to 2.12.4nb1 [ryoon 2017-01-01]
8 Updated archivers/xz to 5.2.3 [mef 2017-01-01] 8 Updated archivers/xz to 5.2.3 [mef 2017-01-01]
9 Updated sysutils/py-psutil to 5.0.1 [ryoon 2017-01-01] 9 Updated sysutils/py-psutil to 5.0.1 [ryoon 2017-01-01]
10 Updated net/aria2 to 1.30.0 [ryoon 2017-01-01] 10 Updated net/aria2 to 1.30.0 [ryoon 2017-01-01]
11 Updated audio/chromaprint to 1.4.2 [mef 2017-01-01] 11 Updated audio/chromaprint to 1.4.2 [mef 2017-01-01]
12 Updated cad/klayout to 0.24.9 [mef 2017-01-01] 12 Updated cad/klayout to 0.24.9 [mef 2017-01-01]
13 Updated textproc/xapian to 1.4.2 [schmonz 2017-01-01] 13 Updated textproc/xapian to 1.4.2 [schmonz 2017-01-01]
14 Updated textproc/xapian-omega to 1.4.2 [schmonz 2017-01-01] 14 Updated textproc/xapian-omega to 1.4.2 [schmonz 2017-01-01]
@@ -5179,13 +5179,14 @@ Changes to the packages collection and i @@ -5179,13 +5179,14 @@ Changes to the packages collection and i
5179 Updated devel/ocaml-jbuilder to 1.0_beta13 [jaapb 2017-09-08] 5179 Updated devel/ocaml-jbuilder to 1.0_beta13 [jaapb 2017-09-08]
5180 Added devel/ocaml-ppx_derivers version 1.0 [jaapb 2017-09-08] 5180 Added devel/ocaml-ppx_derivers version 1.0 [jaapb 2017-09-08]
5181 Updated devel/ocaml-ppx_deriving to 4.2 [jaapb 2017-09-08] 5181 Updated devel/ocaml-ppx_deriving to 4.2 [jaapb 2017-09-08]
5182 Updated textproc/emacs-muse to 3.20 [hauke 2017-09-08] 5182 Updated textproc/emacs-muse to 3.20 [hauke 2017-09-08]
5183 Updated devel/ocaml-lwt to 3.1.0 [jaapb 2017-09-08] 5183 Updated devel/ocaml-lwt to 3.1.0 [jaapb 2017-09-08]
5184 Added devel/ocaml-lwt_react version 1.1.0 [jaapb 2017-09-08] 5184 Added devel/ocaml-lwt_react version 1.1.0 [jaapb 2017-09-08]
5185 Added devel/ocaml-lwt_ssl version 1.1.0 [jaapb 2017-09-08] 5185 Added devel/ocaml-lwt_ssl version 1.1.0 [jaapb 2017-09-08]
5186 Added devel/ocaml-lwt_glib version 1.1.0 [jaapb 2017-09-08] 5186 Added devel/ocaml-lwt_glib version 1.1.0 [jaapb 2017-09-08]
5187 Updated devel/js_of_ocaml to 3.0.0 [jaapb 2017-09-08] 5187 Updated devel/js_of_ocaml to 3.0.0 [jaapb 2017-09-08]
5188 Updated net/tinc to 1.0.32 [jperkin 2017-09-08] 5188 Updated net/tinc to 1.0.32 [jperkin 2017-09-08]
5189 Added chat/matterircd version 0.14.0 [jperkin 2017-09-08] 5189 Added chat/matterircd version 0.14.0 [jperkin 2017-09-08]
5190 Updated misc/ocaml-opam to 2.0.0_beta4 [jaapb 2017-09-08] 5190 Updated misc/ocaml-opam to 2.0.0_beta4 [jaapb 2017-09-08]
5191 Updated www/ocsigen to 2.8nb3 [jaapb 2017-09-08] 5191 Updated www/ocsigen to 2.8nb3 [jaapb 2017-09-08]
 5192 Updated lang/coq to 8.6.1 [jaapb 2017-09-08]