diff options
author | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:19:02 +0000 |
---|---|---|
committer | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:19:02 +0000 |
commit | 55bb4bd887b47cd6073f53dd796ea0b0f8771cfd (patch) | |
tree | 4fc13b95350b38f54609dff84f0973f3a3f16f4f /geography | |
parent | 23df631e033e8d1ae5bfa2a1eb41d984198eca96 (diff) | |
download | pkgsrc-55bb4bd887b47cd6073f53dd796ea0b0f8771cfd.tar.gz |
- Update of coq from 7.4 to 8.0pl2
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
Diffstat (limited to 'geography')
0 files changed, 0 insertions, 0 deletions