diff options
| author | William Bowman <wilbowma@indiana.edu> | 2011-08-05 09:05:33 -0300 |
|---|---|---|
| committer | Niels Horn <niels.horn@slackbuilds.org> | 2011-08-05 09:05:33 -0300 |
| commit | 76f24b37e8348f8e1cd835b72fb5a8372786d229 (patch) | |
| tree | 85961ed980c590a8e073376d2b6ca68f9d738afc /academic/coq | |
| parent | db90725c43f1abf6162f8fe666d439dc30156245 (diff) | |
development/camlp5: Updated for version 6.02.3 (+new maintainer)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions