| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-01-19 | dev-ml/num: fix install with -ocamlopt | Alfredo Tupone |
| 2022-01-12 | dev-ml/num: respect ocamlopt | Alfredo Tupone |
![]() |
index : gentoo.git | |
| Gentoo ebuild repository mirror. Updates daily. | Xian Wang |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-01-19 | dev-ml/num: fix install with -ocamlopt | Alfredo Tupone |
| 2022-01-12 | dev-ml/num: respect ocamlopt | Alfredo Tupone |