| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore. | Alexis Ballier | 2016-08-12 |
| * | sci-mathematics/coq: bump to 8.5pl2 | Alexis Ballier | 2016-07-13 |
 |
index : gentoo/gentoo.git | |
| forked from gentoo/gentoo | kballou |
| summaryrefslogtreecommitdiff |