summaryrefslogtreecommitdiff
path: root/dev-ml/num
AgeCommit message (Expand)Author
2025-12-19*/*: drop *-linux keywordsFabian Groffen
2025-12-17*: remove ppc-macos keywordFabian Groffen
2025-12-07dev-ml/num: remove unused patchesMichael Mair-Keimberger
2025-08-27dev-ml/num: patch META file to fix build of easycryptMaciej Barć
2025-08-24dev-ml/num: find installAlfredo Tupone
2025-08-24dev-ml/num: add 1.6Alfredo Tupone
2025-05-30dev-ml/num: drop 1.3-r1, 1.4-r3, EAPI=7--Arthur Zamarin
2024-10-18dev-ml/num: Stabilize 1.5 arm64, #941576Arthur Zamarin
2024-10-18dev-ml/num: Stabilize 1.5 arm, #941576Arthur Zamarin
2024-10-15dev-ml/num: Stabilize 1.5 x86, #941576Arthur Zamarin
2024-10-15dev-ml/num: Stabilize 1.5 ppc64, #941576Arthur Zamarin
2024-10-15dev-ml/num: Stabilize 1.5 amd64, #941576Arthur Zamarin
2024-07-30dev-ml/num: fix parallel buildAlfredo Tupone
2024-06-28dev-ml/num: update EAPI 7 -> 8Alfredo Tupone
2024-06-28dev-ml/num: add 1.5Alfredo Tupone
2024-05-31dev-ml/num: ignore TEXTRELS on 32 bits archAlfredo Tupone
2024-02-14*/*: Reassign gienah's packagesMichał Górny
2023-05-24*/*: remove x86-solaris keywordFabian Groffen
2022-12-04dev-ml/num: add github upstream metadataAlfredo Tupone
2022-04-18dev-ml/num: Keyword 1.4-r3 riscv, #835392Yongxiang Liang
2022-03-03dev-ml/num: destabilise for ppcSam James
2022-01-19dev-ml/num: fix install with -ocamloptAlfredo Tupone
2022-01-12dev-ml/num: respect ocamloptAlfredo Tupone
2022-01-07dev-ml/num: fix install with -ocamloptAlfredo Tupone
2021-11-07dev-ml/num: fix handling of ocamloptSam James
2021-10-07dev-ml/num: fix collision with newer findlibSam James
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
2021-06-13dev-ml/num: try to disable ocamloptSam James
2021-06-13dev-ml/num: ocamlopt shall be passed to ocamlAlfredo Tupone
2021-06-13dev-ml/num: changing compiler need a rebuild, add RDEPENDAlfredo Tupone
2021-04-19dev-ml/num: Stabilize 1.4-r1 ppc64, #783576Sam James
2021-04-18dev-ml/num: Stabilize 1.4-r1 ppc, #783576Sam James
2021-04-18dev-ml/num: Stabilize 1.4-r1 amd64, #783576Sam James
2021-04-18dev-ml/num: Stabilize 1.4-r1 x86, #783576Sam James
2021-04-18dev-ml/num: Stabilize 1.4-r1 arm, #783576Sam James
2021-04-18dev-ml/num: Stabilize 1.4-r1 arm64, #783576Sam James
2021-04-16dev-ml/num: multilib--Sam James
2021-03-14dev-ml/num: Stabilize 1.3-r1 arm64, #772833Sam James
2021-03-14dev-ml/num: Stabilize 1.3-r1 arm, #772833Sam James
2021-03-13dev-ml/num: drop 1.3Sam James
2021-03-13dev-ml/num: Stabilize 1.3-r1 ppc64, #772833Sam James
2021-03-09dev-ml/num: add note regarding duneSam James
2021-03-09dev-ml/num: fix testsSam James
2021-03-09dev-ml/num: fix installationSam James
2021-03-04dev-ml/num: amd64 stable wrt bug #772833Agostino Sarubbo
2021-02-25dev-ml/num: Stabilize 1.3-r1 x86, #772833Sam James
2021-02-25dev-ml/num: Stabilize 1.3-r1 ppc, #772833Sam James
2021-02-08dev-ml/num: bump to 1.4Sam James
2021-01-14dev-ml/num: ML maintains itAlfredo Tupone
2021-01-06dev-ml/num: drop x86-macosFabian Groffen