summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/ocaml: ppc stable wrt bug #708696Agostino Sarubbo2020-02-111-1/+1
* dev-lang/ocaml: ppc64 stable wrt bug #708696Agostino Sarubbo2020-02-111-1/+1
* dev-lang/ocaml: ia64 stable wrt bug #708696Agostino Sarubbo2020-02-111-1/+1
* dev-lang/ocaml: x86 stable wrt bug #708696Agostino Sarubbo2020-02-101-1/+1
* dev-lang/ocaml: arm stable wrt bug #708696Agostino Sarubbo2020-02-101-1/+1
* dev-lang/ocaml: amd64 stable wrt bug #708696Agostino Sarubbo2020-02-091-1/+1
* dev-lang/ocaml: tweak for gcc-10Sergei Trofimovich2020-02-051-1/+3
* dev-lang/ocaml: restore keywordsMikle Kolyada2019-12-281-1/+1
* dev-lang/ocaml: Bump to version 4.09.0, EAPI 7Ralph Seichter2019-12-271-0/+76