summaryrefslogtreecommitdiff
path: root/dev-ml/num/files/num-1.4-ocamlopt.patch
AgeCommit message (Collapse)Author
2 daysdev-ml/num: remove unused patchesMichael Mair-Keimberger
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
2022-01-19dev-ml/num: fix install with -ocamloptAlfredo 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-12dev-ml/num: respect ocamloptAlfredo 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>