summaryrefslogtreecommitdiff
path: root/dev-ml/num/files
AgeCommit message (Collapse)Author
3 daysdev-ml/num: remove unused patchesMichael Mair-Keimberger
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
2025-08-27dev-ml/num: patch META file to fix build of easycryptMaciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-24dev-ml/num: find installAlfredo Tupone
Closes: https://bugs.gentoo.org/961950 Signed-off-by: Alfredo Tupone <tupone@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>
2020-05-21dev-ml/num: use CFLAGSAlfredo Tupone
Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>