diff options
author | Panagiotis Nikolaou <panos.mdma@gmail.com> | 2014-07-14 06:54:33 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-07-16 18:26:45 +0700 |
commit | 04dc6af242e3800e2a2d6fac09e5bd3165fb335d (patch) | |
tree | 32c30363024fc390d0a7423c094a3a5da0e6eaff /ham | |
parent | 6e02888185276d5c6d22f92af0c0aedd15e4cfab (diff) |
development/camlp5: Updated for version 6.11 + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'ham')
0 files changed, 0 insertions, 0 deletions