add stog 0.12.0
fix stog compilaton
fix stog compilaton
add stog-writing 0.12.0
relax dependency of stog-rdf
Merge pull request #2092 from camlunity/master

+ extunix 0.1.1
Add ocamlmod 0.0.7
Add tptp 0.3.0
Sync latest compiler pull requests
ranger initial version 0.0.1
Merge pull request #2093 from jpdeplaix/master

Add ocamlmod 0.0.7
Merge pull request #2094 from radekm/tptp-0.3.0

Add tptp 0.3.0
Merge pull request #2095 from bactrian/sync-prs-1400367601

Sync OCaml compiler PRs
add kaputt to dependencies
fix descr for stog-writing
+tgls.0.8.0
gtk-light works with react > 1.0.0
Sync latest compiler pull requests
Merge pull request #2100 from bactrian/sync-prs-1400454001

Sync OCaml compiler PRs
Merge pull request #2098 from hcarty/patch-1

gtk-light works with react > 1.0.0