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

Update lang/coq to 8.2pl1

Browse source
This commit is contained in:
tonio 2009-09-05 21:08:18 +00:00
parent 4c37696803
commit 5ad544086b
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-2009
View file

@ -1,4 +1,4 @@
$NetBSD: CHANGES-2009,v 1.3509 2009/09/05 13:44:54 asau Exp $
$NetBSD: CHANGES-2009,v 1.3510 2009/09/05 21:08:18 tonio Exp $
Changes to the packages collection and infrastructure in 2009:
@ -4569,3 +4569,4 @@ Changes to the packages collection and infrastructure in 2009:
Updated www/opengoo to 1.5.3 [taca 2009-09-05]
Updated math/yacas to 1.2.2 [asau 2009-09-05]
Updated biology/chemtool to 1.6.12 [asau 2009-09-05]
Updated lang/coq to 8.2pl1 [tonio 2009-09-05]