| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2 days | dev-ml/num: remove unused patches | Michael Mair-Keimberger | |
| Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org> | |||
| 2022-01-19 | dev-ml/num: fix install with -ocamlopt | Alfredo Tupone | |
| Closes: https://bugs.gentoo.org/831496 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | |||
| 2022-01-12 | dev-ml/num: respect ocamlopt | Alfredo Tupone | |
| Closes: https://bugs.gentoo.org/822321 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | |||
