summaryrefslogtreecommitdiff
path: root/dev-lang/ocaml/ocaml-4.09.0-r3.ebuild
AgeCommit message (Collapse)Author
2025-09-26dev-lang/ocaml: drop 4.09.0-r3Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-09-12*/*: unkeyword ~ia64Arthur Zamarin
Change was created by running the following command:: ekeyword ^ia64 */*/*.ebuild Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-06-24dev-lang/ocaml: replace `filter-flags -flto*` with `filter-lto`Leonardo Hernández Hernández
Signed-off-by: Leonardo Hernández Hernández <leohdz172@proton.me> Signed-off-by: Sam James <sam@gentoo.org>
2023-05-25*/*: remove sparc-solaris keywordFabian Groffen
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
2023-05-24*/*: remove x86-solaris keywordFabian Groffen
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
2023-02-15dev-lang/ocaml: Drop alpha keywordsMatt Turner
Signed-off-by: Matt Turner <mattst88@gentoo.org>
2022-02-27dev-lang/ocaml: x86 stable wrt bug #804498Agostino Sarubbo
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2022-02-27dev-lang/ocaml: amd64 stable wrt bug #804498Agostino Sarubbo
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2022-02-26dev-lang/ocaml: Stabilize 4.09.0-r3 ppc64, #804498Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2022-02-26dev-lang/ocaml: Stabilize 4.09.0-r3 arm, #804498Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2022-02-26dev-lang/ocaml: Stabilize 4.09.0-r3 arm64, #804498Arthur Zamarin
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2022-02-22dev-lang/ocaml: use tarball for 4.05/4.09/4.10 patchesSam James
Signed-off-by: Sam James <sam@gentoo.org>
2022-02-22dev-lang/ocaml: fix 4.09 with glibc 2.34Sam James
Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-08 13:39:39 +0000