summaryrefslogtreecommitdiffstats
path: root/development/ocaml/configure.patch
AgeCommit message (Expand)Author
2020-06-1420200614.1 global branch merge.current-20200614.1 Matteo Bernardini
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