diff options
| author | Markus Hutmacher <mailing@markhu.de> | 2014-05-24 08:07:45 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-05-24 08:08:04 +0700 |
| commit | 66e64d00018ab108b910c57ca237b1fb4242c0ef (patch) | |
| tree | 9d316589a802a819368f7cb0d9935248e9f1f87d /games | |
| parent | 341ffe251fbb80912e5769b106a08d4d8eabefb4 (diff) | |
development/ocaml: Updated for version 4.01.0 + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'games')
0 files changed, 0 insertions, 0 deletions