summaryrefslogtreecommitdiffstats
path: root/development/ocaml/configure.patch
AgeCommit message (Expand)Author
2014-05-24development/ocaml: Updated for version 4.01.0 + new maintainer. Markus Hutmacher
2011-11-26development/ocaml: Updated for version 3.12.1. Ferenc Deak