diff options
| author | kristerw <kristerw> | 2003-03-22 18:30:48 +0000 |
|---|---|---|
| committer | kristerw <kristerw> | 2003-03-22 18:30:48 +0000 |
| commit | dc6d6de45e89dabe1984e682b225855f6c354024 (patch) | |
| tree | c2ccdd662d751f6a83547335327da6998e313483 /doc | |
| parent | ad8cd6701c0dc9d6492048a06df23fb2ada46338 (diff) | |
| download | pkgsrc-dc6d6de45e89dabe1984e682b225855f6c354024.tar.gz | |
Note addition of math/coq 7.4.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES b/doc/CHANGES index 14203919aea..dfda69e2543 100644 --- a/doc/CHANGES +++ b/doc/CHANGES @@ -1,4 +1,4 @@ -$NetBSD: CHANGES,v 1.1745 2003/03/22 17:35:24 jmmv Exp $ +$NetBSD: CHANGES,v 1.1746 2003/03/22 18:30:48 kristerw Exp $ Changes to the packages collection and infrastructure in 2003: @@ -1262,3 +1262,4 @@ Changes to the packages collection and infrastructure in 2003: Updated osf1_lib to 1.1 [wiz 2003-03-22] Removed zoularis [grant 2003-03-22] Added latex-ttf-fonts-0.1 [jmmv 2003-03-22] + Added coq-7.4 [kristerw 2003-03-22] |