diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2016-07-07 16:40:44 +0200 |
---|---|---|
committer | Robby Workman <rworkman@slackbuilds.org> | 2016-07-20 14:20:08 -0500 |
commit | be9339b0be5b2c0dd08939b5b0bc537dba854637 (patch) | |
tree | 4612d6dba5fb165ec75cc32ba017d067c8da1838 /network/Free-Cinema/slack-desc | |
parent | d918e219424ea71650acb3db2ff56be8fc4e97a4 (diff) |
development/ocaml: Updated for version 4.03.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'network/Free-Cinema/slack-desc')
0 files changed, 0 insertions, 0 deletions