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 /shells | |
| 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 'shells')
0 files changed, 0 insertions, 0 deletions