Michał Górny 54d0b23101 sci-mathematics/z3: Bump to 4.15.7 ...

Signed-off-by: Michał Górny <mgorny@gentoo.org>

2026-02-09 05:01:14 +01:00

.github

…

acct-group

…

acct-user

…

app-accessibility

app-accessibility/kontrast: drop 25.12.1

2026-02-06 18:58:47 +01:00

app-admin

app-admin/setools: enable py3.14

2026-02-08 18:17:55 -08:00

app-alternatives

app-alternatives/gpg: forward ~arm64-macos

2026-02-04 01:41:43 +00:00

app-antivirus

…

app-arch

app-arch/rar: add 7.20

2026-02-08 00:22:52 +01:00

app-backup

app-backup/borgmatic: add 2.1.2, drop 2.1.0

2026-02-08 21:34:25 +01:00

app-benchmarks

app-benchmarks/httperf: Stabilize 0.9.1_p20201206-r1 x86, #969721

2026-02-07 09:50:02 +00:00

app-cdr

app-cdr/isoimagewriter: drop 25.12.1

2026-02-06 18:59:25 +01:00

app-containers

app-containers/cri-tools: Use sysroot.eclass for shell completion

2026-02-08 08:26:04 +00:00

app-crypt

app-crypt/gocryptfs: VariableOrder nit

2026-02-08 09:32:17 -08:00

app-dicts

…

app-doc

app-doc/dita-ot-bin: add 4.4

2026-02-08 18:25:41 +02:00

app-editors

app-editors/emacs: Update README.gentoo

2026-02-08 17:22:55 +01:00

app-emacs

app-emacs/haskell-mode: sync live 9999

2026-02-07 20:23:31 +01:00

app-emulation

app-emulation/gxemul: Version bump to 0.7.0

2026-02-08 12:52:18 -05:00

app-eselect

…

app-forensics

app-forensics/yara-x: Stabilize 1.10.0-r1 amd64, #969432

2026-01-29 20:51:47 -05:00

app-i18n

app-i18n/man-pages-zh_CN: drop kill.1

2026-02-04 13:42:37 -05:00

app-laptop

…

app-metrics

app-metrics/node_exporter: Stabilize 1.10.2 amd64, #969540

2026-02-03 22:35:15 -05:00

app-misc

app-misc/koleo-cli: Bump to 0.2.137.30

2026-02-07 10:52:22 +01:00

app-mobilephone

…

app-office

app-office/scribus: Fix build w/ poppler-26.02

2026-02-07 18:46:37 +01:00

app-officeext

…

app-pda

…

app-portage

app-portage/portage-utils-0.97.1: version bump with gnulib update

2026-02-08 10:30:19 +01:00

app-shells

app-shells/fish: Stabilize 4.3.3 ppc64, #969676

2026-02-08 01:02:45 -05:00

app-text

app-text/papers: add 49.3

2026-02-08 13:34:15 +01:00

app-vim

…

app-xemacs

…

dev-ada

dev-ada/gnatdoc: add dep on gnatcoll-*

2026-02-03 16:37:35 +01:00

dev-build

dev-build/dolphin-plugins-makefileactions: drop 25.12.1

2026-02-06 18:59:20 +01:00

dev-cpp

dev-cpp/websocketpp: fix boost_1.89

2026-02-05 22:54:12 +00:00

dev-db

dev-db/mysqltuner: restrict tests

2026-02-08 22:48:19 +01:00

dev-debug

dev-debug/dtrace: add 2.0.5

2026-02-06 18:05:57 +00:00

dev-dotnet

dev-dotnet/csharp-language-server: bump to 0.22.0

2026-02-07 20:27:24 +01:00

dev-embedded

dev-embedded/minipro: Stabilize 0.7.4 x86, #964988

2026-02-07 16:28:27 +00:00

dev-erlang

…

dev-games

dev-games/aseprite: add -fno-strict-aliasing too

2026-02-07 03:59:49 +00:00

dev-gap

…

dev-go

…

dev-haskell

…

dev-java

dev-java/icu4j: Stabilize 78.2 amd64, #969780

2026-02-08 20:16:06 +00:00

dev-lang

dev-lang/julia: Remove last-rited pkg

2026-02-08 20:13:22 +01:00

dev-libs

dev-libs/opencl-clang: Remove old

2026-02-08 20:29:18 +01:00

dev-lisp

dev-lisp/sbcl: bump to 2.6.1

2026-02-02 18:41:07 +07:00

dev-lua

dev-lua/luarocks: add 3.13.0

2026-02-08 00:47:47 +01:00

dev-ml

dev-ml/llvm: Remove old

2026-02-08 20:06:06 +01:00

dev-perl

dev-perl/Image-Scale: link math explicitly

2026-02-08 23:30:00 +00:00

dev-php

…

dev-python

dev-python/fake-py: Remove last-rited pkg

2026-02-08 20:18:26 +01:00

dev-qt

dev-qt/qtwebengine: drop upstreamed patch

2026-02-03 17:10:04 -05:00

dev-ruby

dev-ruby/prism: Stabilize 1.7.0 ppc64, #969409

2026-01-29 11:29:57 -05:00

dev-scheme

…

dev-tcltk

…

dev-tex

dev-tex/biblatex: add 3.21

2026-02-07 01:10:06 +00:00

dev-texlive

…

dev-util

dev-util/spirv-llvm-translator: Remove old

2026-02-08 20:29:57 +01:00

dev-vcs

dev-vcs/fossil: add 2.27

2026-02-06 11:42:58 -05:00

eclass

sysroot.eclass: Add sysroot_try_run_prefixed to allow wrapper failure

2026-02-08 08:16:16 +00:00

games-action

games-action/prismlauncher: Remove flatpak chunk

2026-02-03 21:42:22 +01:00

games-arcade

games-arcade/performous: drop 1.3.1_p20250723

2026-02-05 22:54:09 +00:00

games-board

games-board/sjeng: update EAPI 7 -> 8

2026-02-05 14:03:13 +01:00

games-emulation

games-emulation/pcsx2: drop 2.6.0, 2.6.1, 2.6.2

2026-01-31 04:31:44 -05:00

games-engines

games-engines/scrap-engine: Remove last-rited pkg

2026-02-08 20:12:04 +01:00

games-fps

games-fps/gzdoom: Remove last-rited pkg

2026-02-08 20:09:21 +01:00

games-kids

…

games-misc

…

games-mud

…

games-puzzle

games-puzzle/skladnik: drop 25.12.1

2026-02-06 18:58:55 +01:00

games-roguelike

games-roguelike/stone-soup: drop 0.34_beta1

2026-02-07 11:58:20 -06:00

games-rpg

games-rpg/pokete: Remove last-rited pkg

2026-02-08 20:11:41 +01:00

games-server

games-server/bedrock-server: add 1.21.132.3

2026-01-28 21:32:25 +01:00

games-simulation

games-simulation/openrct2: add 0.4.31

2026-02-08 00:22:59 +01:00

games-sports

games-sports/dustrac: drop 2.1.1_p20250924

2026-01-28 21:51:12 +01:00

games-strategy

games-strategy/hedgewars: Remove last-rited pkg

2026-02-08 20:15:43 +01:00

games-util

games-util/cartridges: drop old 2.11.1

2026-01-31 15:03:48 +01:00

gnome-base

gnome-base/nautilus: add 49.4

2026-02-08 13:34:15 +01:00

gnome-extra

gnome-extra/gnome-shell-extension-weather-oclock: Remove old

2026-02-08 19:51:48 +01:00

gnustep-apps

gnustep-apps/sogo: drop 5.2.0-r1

2026-02-05 08:29:47 +01:00

gnustep-base

gnustep-base/gnustep-make: drop 2.9.1, 2.9.3, 2.9.3-r1

2026-02-05 08:24:25 +01:00

gnustep-libs

gnustep-libs/sope: drop 5.2.0-r2

2026-02-05 08:29:56 +01:00

gui-apps

gui-apps/mako: restore stable keywords

2026-02-06 22:21:43 +00:00

gui-libs

gui-libs/wlroots: enable verify-sig

2026-02-06 20:58:20 +02:00

gui-wm

gui-wm/sway: Stabilize 1.11 arm64, #969406

2026-02-07 10:13:44 +00:00

kde-apps

kde-apps/yakuake: drop 25.12.1-r1

2026-02-06 18:59:30 +01:00

kde-frameworks

kde-frameworks/extra-cmake-modules: Stabilize 6.22.0 ppc, #968630

2026-01-28 20:37:08 -05:00

kde-misc

kde-misc/markdownpart: drop 25.12.1

2026-02-06 18:59:30 +01:00

kde-plasma

kde-plasma/kwin: backport deactivate-screen fix

2026-02-06 20:42:16 +00:00

licenses

licenses: Remove unused rdisc license

2026-02-08 19:59:23 +01:00

llvm-core

llvm-core/llvm-common: Remove old

2026-02-08 20:06:08 +01:00

llvm-runtimes

llvm-runtimes/compiler-rt: Remove old

2026-02-08 20:05:57 +01:00

lxde-base

…

lxqt-base

lxqt-base/lxqt-config: add 2.3.1

2026-01-29 19:05:39 +02:00

mail-client

mail-client/evolution: Version bump to 3.58.3

2026-01-31 22:06:43 +00:00

mail-filter

mail-filter/maildrop: Stabilize 3.1.8-r1 arm64, #969786

2026-02-08 20:36:51 +00:00

mail-mta

mail-mta/sendmail: Stabilize 8.18.2 ppc, #969714

2026-02-08 01:02:37 -05:00

mate-base

…

mate-extra

…

media-fonts

media-fonts/noto: drop 20251201

2026-02-08 13:34:11 +01:00

media-gfx

media-gfx/krita: drop 6.0.0_beta1

2026-02-09 00:14:56 +01:00

media-libs

media-libs/libffado: Remove old

2026-02-08 20:15:28 +01:00

media-plugins

media-plugins/vdr-ttxtsubs: Stabilize 0.3.0_p20160207 amd64, #969752

2026-02-08 01:02:43 -05:00

media-radio

media-radio/qlog: Stabilize 0.47.1 amd64, #969434

2026-02-07 02:18:20 +00:00

media-sound

media-sound/mac: Stabilize 12.12 ppc, #969739

2026-02-08 01:02:38 -05:00

media-tv

…

media-video

media-video/untrunc: drop 0_pre20240814

2026-02-08 13:34:08 +01:00

metadata

metadata/stabilization-groups: add new asterisk.group.

2026-02-06 19:00:28 +02:00

net-analyzer

net-analyzer/tcpslice: drop 1.5, 1.7

2026-02-07 09:49:34 +00:00

net-dialup

net-dialup/lrzsz: fix C23 compat harder (which fixes glibc-2.43)

2026-02-07 01:01:17 +00:00

net-dns

net-dns/coredns: Stabilize 1.13.2 amd64, #969538

2026-02-03 22:35:15 -05:00

net-firewall

net-firewall/conntrack-tools: drop 1.4.7-r1, 1.4.8

2026-02-04 02:21:36 +00:00

net-fs

…

net-ftp

net-ftp/pure-ftpd: add 1.0.53

2026-02-08 00:51:49 +01:00

net-im

net-im/spectrum2: update jsoncpp cmake file

2026-02-08 22:41:42 +01:00

net-irc

net-irc/iroffer-dinoex: fix translation

2026-02-06 22:22:57 +00:00

net-libs

net-libs/libupnp: Stabilize 1.14.25 ppc64, #969754

2026-02-08 01:02:46 -05:00

net-mail

net-mail/dovecot: Stabilize 2.4.2-r2 arm64, #967978

2026-02-03 12:39:40 +02:00

net-misc

net-misc/pulseaudio-dlna: Remove last-rited pkg

2026-02-08 20:10:43 +01:00

net-nds

…

net-news

net-news/alligator: drop 25.12.1

2026-02-06 18:59:19 +01:00

net-nntp

…

net-p2p

net-p2p/freenet: add 0.7.5_p1505

2026-02-09 01:14:41 +00:00

net-print

net-print/hplip: Stabilize 3.25.8 ppc64, #969742

2026-02-08 01:02:45 -05:00

net-proxy

net-proxy/sqtop: Remove last-rited pkg

2026-02-08 20:16:28 +01:00

net-voip

net-voip/mumble: Stabilize 1.6.0_pre20250920-r2 ppc64, #955963

2026-02-05 20:32:16 +02:00

net-vpn

net-vpn/tinc: wire up verify-sig

2026-02-07 05:10:17 +00:00

net-wireless

net-wireless/soapyuhd: drop 0.4.1-r2

2026-02-01 10:50:24 +01:00

perl-core

…

profiles

sys-fs/encfs: Remove last-rited pkg

2026-02-08 20:18:54 +01:00

sci-astronomy

sci-astronomy/kstars: Drop IUSE opencv and make it unconditional

2026-02-06 18:58:43 +01:00

sci-biology

sci-biology/rnaview: Remove last-rited pkg

2026-02-08 20:16:58 +01:00

sci-calculators

sci-calculators/galculator: add 2.1.5_pre20150928

2026-02-08 13:34:10 +01:00

sci-chemistry

sci-chemistry/chemex: drop 2025.4.0

2026-02-08 13:34:11 +01:00

sci-electronics

sci-electronics/kicad-meta: Keyword 9.0.6 x86, #955496

2026-02-07 16:29:43 +00:00

sci-geosciences

sci-geosciences/s2geometry: enable debug (-DBEGUG) conditionally

2026-02-07 23:51:30 +01:00

sci-libs

sci-libs/cgnslib: default-enable USE=hdf5

2026-02-08 20:15:55 +00:00

sci-mathematics

sci-mathematics/z3: Bump to 4.15.7

2026-02-09 05:01:14 +01:00

sci-misc

…

sci-ml

sci-ml/caffe2: fix again aarch64 mimalloc

2026-02-03 16:51:22 +01:00

sci-physics

sci-physics/hepmc: cmake4 patches

2026-02-06 15:42:25 +01:00

sci-visualization

sci-visualization/kst: Bump snapshot to e4dbcc47 (patchset upstreamed)

2026-02-08 18:56:14 +01:00

scripts

…

sec-keys

sec-keys/openpgp-keys-gocryptfs: drop 20250728

2026-02-08 09:32:16 -08:00

sec-policy

…

sys-apps

sys-apps/less: add 692

2026-02-08 20:36:33 +00:00

sys-auth

sys-auth/AusweisApp: add 2.4.1

2026-02-08 00:22:58 +01:00

sys-block

sys-block/partitionmanager: drop 25.12.1

2026-02-06 18:59:31 +01:00

sys-boot

sys-boot/limine: drop 10.6.0

2026-02-04 01:47:07 +00:00

sys-cluster

…

sys-devel

sys-devel/gcc: add 16.0.1_p20260208

2026-02-08 22:40:23 +00:00

sys-fabric

sys-fabric/mstflint: pass -std=gnu17 as a workaround for GCC 15

2026-02-05 04:08:43 +00:00

sys-firmware

sys-firmware/sof-firmware: drop 2025.05.1

2026-02-08 13:34:08 +01:00

sys-fs

sys-fs/encfs: Remove last-rited pkg

2026-02-08 20:18:54 +01:00

sys-kernel

sys-kernel/gentoo-kernel-bin: Bump to 6.12.69

2026-02-06 22:23:33 +01:00

sys-libs

sys-libs/gwenhywfar: Stabilize 5.14.1 amd64, #969758

2026-02-08 01:02:44 -05:00

sys-power

…

sys-process

sys-process/btop: Stabilize 1.4.6 ppc64, #969668

2026-02-08 01:02:45 -05:00

virtual

virtual/rust: Remove

2026-02-08 19:40:45 +01:00

www-apache

www-apache/mod_h2: drop 2.0.37

2026-02-04 12:14:35 -05:00

www-apps

www-apps/wordpress: bump to 6.9.1, dropped 6.9

2026-02-04 08:22:46 +01:00

www-client

www-client/seamonkey: Remove old

2026-02-08 20:10:29 +01:00

www-misc

…

www-nginx

…

www-plugins

www-plugins/browserpass: switch to dist tarball; wire up verify-sig

2026-02-07 03:49:11 +00:00

www-servers

www-servers/gunicorn: Bump to 25.0.3

2026-02-08 04:37:49 +01:00

x11-apps

x11-apps/bitmap: Version bump to 1.1.2

2026-02-07 22:22:58 -05:00

x11-base

x11-base/xorg-server: Stabilize 21.1.21 ppc, #969648

2026-02-05 18:41:30 -05:00

x11-drivers

x11-drivers/nvidia-drivers: Fix cross-compiling by defining TARGET_ARCH

2026-02-03 12:28:34 +00:00

x11-libs

x11-libs/libXmu: Version bump to 1.3.1

2026-02-08 17:33:25 -05:00

x11-misc

x11-misc/stalonetray: Keyword 1.0.1 x86, #969793

2026-02-09 01:15:18 +00:00

x11-plugins

x11-plugins/e16-epplets: add 0.18

2026-02-08 18:25:43 +02:00

x11-terms

x11-terms/kitty-terminfo: drop 0.44.0

2026-01-31 04:26:10 -05:00

x11-themes

x11-themes/kvantum: enable verify-sig

2026-02-06 22:12:03 +02:00

x11-wm

x11-wm/mutter: drop 47.8.1, 47.9, 48.6

2026-02-08 13:34:14 +01:00

xfce-base

…

xfce-extra

…

.editorconfig

…

.gitignore

…

.mailmap

…

header.txt

…

skel.ebuild

…

skel.metadata.xml

…

Description

No description provided

9.3 GiB

Languages

Shell 73.6%

Roff 25.9%

Emacs Lisp 0.1%