Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
ML
Packages
240
Stabilization
16
Outdated
31
Pull requests
2
Bugs
59
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2025-02-16
sci-mathematics/easycrypt: bump to 2025.02
604424d
Maciej Barć
committed on 2025-02-16 22:35:17 UTC
sci-mathematics/easycrypt/easycrypt-2025.02.ebuild
sci-mathematics/easycrypt/Manifest
sci-mathematics/why3: bump to 1.8.0
bc98757
Maciej Barć
committed on 2025-02-16 22:35:16 UTC
sci-mathematics/why3/why3-1.8.0.ebuild
sci-mathematics/why3/Manifest
Commits on 2025-02-15
sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64
0f5ec1d
Alfredo Tupone
committed on 2025-02-15 12:31:43 UTC
sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
dev-ml/ocplib-simplex: ~arm64 keyword
55087b7
Alfredo Tupone
committed on 2025-02-15 12:31:40 UTC
dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild
dev-ml/ocplib-simplex/ocplib-simplex-0.5.1.ebuild
dev-ml/dune-build-info: keyword 3.16.1 for ~arm64
7d4187c
Alfredo Tupone
committed on 2025-02-15 12:31:36 UTC
dev-ml/dune-build-info/dune-build-info-3.16.1.ebuild
sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64
bc18903
Alfredo Tupone
committed on 2025-02-15 12:31:33 UTC
sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
Commits on 2025-02-10
dev-ml/reason: bump to 3.15.0
aa0f432
Maciej Barć
committed on 2025-02-10 19:19:30 UTC
dev-ml/reason/reason-3.15.0.ebuild
dev-ml/reason/Manifest
Commits on 2025-02-09
sci-mathematics/easycrypt: drop old 2024.01-r1
da93ddc
Maciej Barć
committed on 2025-02-09 20:50:53 UTC
sci-mathematics/easycrypt/Manifest
sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuild
Commits on 2025-01-28
dev-lang/neko: mix mysql deps; minor tweaks
e3735d2
Maciej Barć
committed on 2025-01-28 22:08:47 UTC
dev-lang/neko/neko-2.4.0-r2.ebuild
dev-lang/neko/neko-2.4.0-r1.ebuild
dev-lang/neko: drop old 2.3.0-r3
541bd6f
Maciej Barć
committed on 2025-01-28 22:08:47 UTC
dev-lang/neko/Manifest
dev-lang/neko/neko-2.3.0-r3.ebuild
Commits on 2025-01-07
dev-lang/neko: slotting net-libs/mbedtls:0
3623962
Azamat H. Hackimov
authored
and
Sam James
committed on 2025-01-07 19:52:50 UTC
dev-lang/neko/neko-2.3.0-r3.ebuild
dev-lang/neko/neko-2.4.0-r1.ebuild
dev-lang/neko/neko-2.3.0-r2.ebuild
dev-lang/neko/neko-2.4.0.ebuild
dev-lang/haxe: slotting net-libs/mbedtls:0
d079148
Azamat H. Hackimov
authored
and
Sam James
committed on 2025-01-07 19:52:49 UTC
dev-lang/haxe/haxe-4.3.6-r2.ebuild
dev-lang/haxe/haxe-4.3.6-r1.ebuild
Commits on 2025-01-03
dev-ml/xml-light: remove unused patch(es)
75b984c
Michael Mair-Keimberger
authored
and
Alfredo Tupone
committed on 2025-01-03 19:42:36 UTC
dev-ml/xml-light/files/01_installopt.patch
dev-ml/xml-light/files/02_cmi_depends.patch
dev-ml/xml-light/files/03_cflags.patch
dev-ml/xml-light/files/04_dtd_trace.patch
Commits on 2024-12-31
sci-mathematics/why3: update HOMEPAGE
31463d3
Sam James
committed on 2024-12-31 16:53:37 UTC
sci-mathematics/why3/why3-1.6.0.ebuild
sci-mathematics/why3/why3-1.7.2.ebuild
Commits on 2024-12-30
dev-lang/ocaml: add 5.2.1
1c9122a
Alfredo Tupone
committed on 2024-12-30 09:42:31 UTC
dev-lang/ocaml/ocaml-5.2.1.ebuild
dev-lang/ocaml/Manifest
Commits on 2024-12-29
dev-ml/uucp: Stabilize 16.0.0 x86, #945767
68d543a
Sam James
committed on 2024-12-29 10:53:38 UTC
dev-ml/uucp/uucp-16.0.0.ebuild
dev-ml/sedlex: Stabilize 3.3 x86, #945767
44257ec
Sam James
committed on 2024-12-29 10:53:38 UTC
dev-ml/sedlex/sedlex-3.3.ebuild
dev-ml/ppx_blob: Stabilize 0.9.0 x86, #945767
339f810
Sam James
committed on 2024-12-29 10:53:37 UTC
dev-ml/ppx_blob/ppx_blob-0.9.0.ebuild
dev-ml/pp: Stabilize 2.0.0 x86, #945767
1035e28
Sam James
committed on 2024-12-29 10:53:36 UTC
dev-ml/pp/pp-2.0.0.ebuild
dev-ml/mtime: Stabilize 2.1.0 x86, #945767
a79e85b
Sam James
committed on 2024-12-29 10:53:35 UTC
dev-ml/mtime/mtime-2.1.0.ebuild
dev-ml/mccs: Stabilize 1.1.18-r1 x86, #945767
7c9f307
Sam James
committed on 2024-12-29 10:53:35 UTC
dev-ml/mccs/mccs-1.1.18-r1.ebuild
dev-ml/extlib: Stabilize 1.8.0 x86, #945767
50c6e35
Sam James
committed on 2024-12-29 10:53:34 UTC
dev-ml/extlib/extlib-1.8.0.ebuild
dev-ml/camlzip: Stabilize 1.13 x86, #945767
15680df
Sam James
committed on 2024-12-29 10:53:33 UTC
dev-ml/camlzip/camlzip-1.13.ebuild
dev-ml/camlp5: Stabilize 8.03.01 x86, #945767
1ddafc7
Sam James
committed on 2024-12-29 10:53:32 UTC
dev-ml/camlp5/camlp5-8.03.01.ebuild
dev-ml/re: Stabilize 1.13.0-r1 x86, #945767
dc15a92
Sam James
committed on 2024-12-29 10:53:31 UTC
dev-ml/re/re-1.13.0-r1.ebuild
dev-ml/dune: Stabilize 3.16.1 x86, #945767
30bdcc0
Sam James
committed on 2024-12-29 10:53:31 UTC
dev-ml/dune/dune-3.16.1.ebuild
dev-ml/pp: Stabilize 2.0.0 ppc64, #945767
f261864
Sam James
committed on 2024-12-29 10:53:28 UTC
dev-ml/pp/pp-2.0.0.ebuild
dev-ml/mtime: Stabilize 2.1.0 ppc64, #945767
a4ac398
Sam James
committed on 2024-12-29 10:53:27 UTC
dev-ml/mtime/mtime-2.1.0.ebuild
dev-ml/mccs: Stabilize 1.1.18-r1 ppc64, #945767
48a8b1e
Sam James
committed on 2024-12-29 10:53:26 UTC
dev-ml/mccs/mccs-1.1.18-r1.ebuild
dev-ml/extlib: Stabilize 1.8.0 ppc64, #945767
7d8f0f5
Sam James
committed on 2024-12-29 10:53:25 UTC
dev-ml/extlib/extlib-1.8.0.ebuild
dev-ml/camlzip: Stabilize 1.13 ppc64, #945767
cacba80
Sam James
committed on 2024-12-29 10:53:25 UTC
dev-ml/camlzip/camlzip-1.13.ebuild
dev-ml/camlp5: Stabilize 8.03.01 ppc64, #945767
31940d0
Sam James
committed on 2024-12-29 10:53:24 UTC
dev-ml/camlp5/camlp5-8.03.01.ebuild
dev-ml/re: Stabilize 1.13.0-r1 ppc64, #945767
70d2b91
Sam James
committed on 2024-12-29 10:53:23 UTC
dev-ml/re/re-1.13.0-r1.ebuild
dev-ml/dune: Stabilize 3.16.1 ppc64, #945767
2bbf06f
Sam James
committed on 2024-12-29 10:53:22 UTC
dev-ml/dune/dune-3.16.1.ebuild
dev-ml/pp: Stabilize 2.0.0 arm, #945767
76b4ed1
Sam James
committed on 2024-12-29 10:53:19 UTC
dev-ml/pp/pp-2.0.0.ebuild
dev-ml/mtime: Stabilize 2.1.0 arm, #945767
45b7ae2
Sam James
committed on 2024-12-29 10:53:18 UTC
dev-ml/mtime/mtime-2.1.0.ebuild
dev-ml/mccs: Stabilize 1.1.18-r1 arm, #945767
8470e55
Sam James
committed on 2024-12-29 10:53:18 UTC
dev-ml/mccs/mccs-1.1.18-r1.ebuild
dev-ml/extlib: Stabilize 1.8.0 arm, #945767
545baf5
Sam James
committed on 2024-12-29 10:53:17 UTC
dev-ml/extlib/extlib-1.8.0.ebuild
dev-ml/camlzip: Stabilize 1.13 arm, #945767
1b0fdf7
Sam James
committed on 2024-12-29 10:53:16 UTC
dev-ml/camlzip/camlzip-1.13.ebuild
dev-ml/camlp5: Stabilize 8.03.01 arm, #945767
eda03a4
Sam James
committed on 2024-12-29 10:53:15 UTC
dev-ml/camlp5/camlp5-8.03.01.ebuild
dev-ml/re: Stabilize 1.13.0-r1 arm, #945767
cb5edfa
Sam James
committed on 2024-12-29 10:53:15 UTC
dev-ml/re/re-1.13.0-r1.ebuild
dev-ml/dune: Stabilize 3.16.1 arm, #945767
ec39236
Sam James
committed on 2024-12-29 10:53:14 UTC
dev-ml/dune/dune-3.16.1.ebuild
dev-ml/pp: Stabilize 2.0.0 arm64, #945767
fb43c69
Sam James
committed on 2024-12-29 10:53:11 UTC
dev-ml/pp/pp-2.0.0.ebuild
dev-ml/mtime: Stabilize 2.1.0 arm64, #945767
261882a
Sam James
committed on 2024-12-29 10:53:10 UTC
dev-ml/mtime/mtime-2.1.0.ebuild
dev-ml/mccs: Stabilize 1.1.18-r1 arm64, #945767
d942400
Sam James
committed on 2024-12-29 10:53:09 UTC
dev-ml/mccs/mccs-1.1.18-r1.ebuild
dev-ml/extlib: Stabilize 1.8.0 arm64, #945767
f23ec2a
Sam James
committed on 2024-12-29 10:53:09 UTC
dev-ml/extlib/extlib-1.8.0.ebuild
dev-ml/camlzip: Stabilize 1.13 arm64, #945767
fe17d91
Sam James
committed on 2024-12-29 10:53:08 UTC
dev-ml/camlzip/camlzip-1.13.ebuild
dev-ml/camlp5: Stabilize 8.03.01 arm64, #945767
901bf19
Sam James
committed on 2024-12-29 10:53:07 UTC
dev-ml/camlp5/camlp5-8.03.01.ebuild
dev-ml/re: Stabilize 1.13.0-r1 arm64, #945767
ad075c5
Sam James
committed on 2024-12-29 10:53:06 UTC
dev-ml/re/re-1.13.0-r1.ebuild
dev-ml/dune: Stabilize 3.16.1 arm64, #945767
0b6b6dd
Sam James
committed on 2024-12-29 10:53:05 UTC
dev-ml/dune/dune-3.16.1.ebuild