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

Updated lang/coq to 8.4pl2

Browse source
This commit is contained in:
jaapb 2013-04-20 08:22:11 +00:00
parent 34accd8f4d
commit 1694f5002e
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-2013
View file

@ -1,4 +1,4 @@
$NetBSD: CHANGES-2013,v 1.1418 2013/04/20 08:08:47 adam Exp $
$NetBSD: CHANGES-2013,v 1.1419 2013/04/20 08:22:11 jaapb Exp $
Changes to the packages collection and infrastructure in 2013:
@ -2216,3 +2216,4 @@ Changes to the packages collection and infrastructure in 2013:
Updated databases/mysql55-server to 5.5.31 [adam 2013-04-20]
Updated databases/mysql56-client to 5.6.11 [adam 2013-04-20]
Updated databases/mysql56-server to 5.6.11 [adam 2013-04-20]
Updated lang/coq to 8.4pl2 [jaapb 2013-04-20]