Sat Oct 8 16:38:11 2022 UTC ()
doc: Added devel/why3 version 1.5.1


(tonio)
diff -r1.4903 -r1.4904 pkgsrc/doc/CHANGES-2022
cvs diff -r1.4903 -r1.4904 pkgsrc/doc/CHANGES-2022 (expand / switch to unified diff)

--- pkgsrc/doc/CHANGES-2022 2022/10/08 15:04:04 1.4903
+++ pkgsrc/doc/CHANGES-2022 2022/10/08 16:38:11 1.4904
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: CHANGES-2022,v 1.4903 2022/10/08 15:04:04 tonio Exp $ 1$NetBSD: CHANGES-2022,v 1.4904 2022/10/08 16:38:11 tonio Exp $
2 2
3Changes to the packages collection and infrastructure in 2022: 3Changes to the packages collection and infrastructure in 2022:
4 4
5 Updated www/grafana to 8.3.3 [triaxx 2022-01-01] 5 Updated www/grafana to 8.3.3 [triaxx 2022-01-01]
6 Updated sysutils/py-ptyprocess to 0.7.0nb1 [martin 2022-01-01] 6 Updated sysutils/py-ptyprocess to 0.7.0nb1 [martin 2022-01-01]
7 Updated pkgtools/pkglint to 21.4.1 [rillig 2022-01-01] 7 Updated pkgtools/pkglint to 21.4.1 [rillig 2022-01-01]
8 Updated pkgtools/lintpkgsrc to 4.97 [rillig 2022-01-01] 8 Updated pkgtools/lintpkgsrc to 4.97 [rillig 2022-01-01]
9 Updated pkgtools/url2pkg to 21.4.0 [rillig 2022-01-01] 9 Updated pkgtools/url2pkg to 21.4.0 [rillig 2022-01-01]
10 Updated pkgtools/url2pkg to 21.4.1 [rillig 2022-01-01] 10 Updated pkgtools/url2pkg to 21.4.1 [rillig 2022-01-01]
11 Updated devel/mold to 1.0.1 [fcambus 2022-01-01] 11 Updated devel/mold to 1.0.1 [fcambus 2022-01-01]
12 Updated net/dbip-asn-lite to 2022.01 [fcambus 2022-01-01] 12 Updated net/dbip-asn-lite to 2022.01 [fcambus 2022-01-01]
13 Updated net/dbip-city-lite to 2022.01 [fcambus 2022-01-01] 13 Updated net/dbip-city-lite to 2022.01 [fcambus 2022-01-01]
14 Updated devel/py-backcall to 0.2.0nb1 [ryoon 2022-01-01] 14 Updated devel/py-backcall to 0.2.0nb1 [ryoon 2022-01-01]
@@ -7410,13 +7410,14 @@ Changes to the packages collection and i @@ -7410,13 +7410,14 @@ Changes to the packages collection and i
7410 Updated chat/swirc to 3.3.6 [fcambus 2022-10-07] 7410 Updated chat/swirc to 3.3.6 [fcambus 2022-10-07]
7411 Updated x11/gtkglarea2 to 2.1.0 [nros 2022-10-07] 7411 Updated x11/gtkglarea2 to 2.1.0 [nros 2022-10-07]
7412 Updated geography/libmaxminddb to 1.7.1 [fcambus 2022-10-07] 7412 Updated geography/libmaxminddb to 1.7.1 [fcambus 2022-10-07]
7413 Updated textproc/fmtlib to 9.1.0 [bsiegert 2022-10-08] 7413 Updated textproc/fmtlib to 9.1.0 [bsiegert 2022-10-08]
7414 Updated net/gh to 2.17.0 [bsiegert 2022-10-08] 7414 Updated net/gh to 2.17.0 [bsiegert 2022-10-08]
7415 Added x11/xidle version 20220718 [bsiegert 2022-10-08] 7415 Added x11/xidle version 20220718 [bsiegert 2022-10-08]
7416 Added security/signify version 0.10 [bsiegert 2022-10-08] 7416 Added security/signify version 0.10 [bsiegert 2022-10-08]
7417 Added net/cppzmq version 4.8.1 [adam 2022-10-08] 7417 Added net/cppzmq version 4.8.1 [adam 2022-10-08]
7418 Added textproc/py-pygccxml version 2.2.1 [adam 2022-10-08] 7418 Added textproc/py-pygccxml version 2.2.1 [adam 2022-10-08]
7419 Added devel/py-cbor2 version 5.4.3 [adam 2022-10-08] 7419 Added devel/py-cbor2 version 5.4.3 [adam 2022-10-08]
7420 Updated ham/soapy-sdr to 0.8.1 [adam 2022-10-08] 7420 Updated ham/soapy-sdr to 0.8.1 [adam 2022-10-08]
7421 Updated x11/py-qwt-qt5 to 1.02.02 [adam 2022-10-08] 7421 Updated x11/py-qwt-qt5 to 1.02.02 [adam 2022-10-08]
7422 Added devel/ocaml-ppx_import version 1.10.0 [tonio 2022-10-08] 7422 Added devel/ocaml-ppx_import version 1.10.0 [tonio 2022-10-08]
 7423 Added devel/why3 version 1.5.1 [tonio 2022-10-08]