kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

doc: Updated lang/coq to 8.9.1

Browse source
This commit is contained in:
jaapb 2019-05-23 10:55:19 +00:00
parent d74acf301c
commit d23ed2608e
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
doc/CHANGES-2019
View file

@ -1,4 +1,4 @@
$NetBSD: CHANGES-2019,v 1.2241 2019/05/23 08:15:26 adam Exp $
$NetBSD: CHANGES-2019,v 1.2242 2019/05/23 10:55:19 jaapb Exp $
Changes to the packages collection and infrastructure in 2019:
@ -3822,3 +3822,4 @@ Changes to the packages collection and infrastructure in 2019:
Updated sysutils/xfce4-thunar to 1.8.6 [gutteridge 2019-05-23]
Updated x11/xfce4-desktop to 4.13.4 [gutteridge 2019-05-23]
Updated net/wireshark to 3.0.2 [adam 2019-05-23]
Updated lang/coq to 8.9.1 [jaapb 2019-05-23]