summaryrefslogtreecommitdiffstats
path: root/development/ocaml/configure.patch
AgeCommit message (Expand)Author
2021-03-2720210327.1 global branch merge.current-20210327.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