Gentoo Linux Howtos: Portage -> Browse Portage

Gentoo.LinuxHowtos.org howtos, tips&tricks and tutorials for gentoo linux

from small one page howto to huge articles all in one place

Other .linuxhowtos.org sites: www.linuxhowtos.org
toolsntoys.linuxhowtos.org

Last additions:

How to make X listen on port 6000

words:

views:

83395

userrating:

average rating: 1.2 (52 votes) (1=very good 6=terrible)

May, 25th 2007:

Words

496

why adblockers are bad

April, 26th 2007:

Words

Website translation planned

Apr, 10th. 2007:

Words

Compile Time Estimator integrated into genlop

You are here: Portage

boxquote
browse-kill-ring
bubblet
bui
burly
buttercup
calfw
cape
cask
cask-mode
cdlatex
centaur-tabs
cfrs
chess
cider
circe
citar
citeproc-el
cldoc
clojure-mode
closql
cmake-font-lock
cmake-mode
color-browser
color-moccur
color-theme
commander
commenter
company-coq
company-ebuild
company-math
company-mode
company-quickhelp
compat
cond-let
consult
consult-flycheck
corfu

counsel
crontab-mode
crux
csharp-mode
css-mode
css-sort-buffer
csv-mode
ctable
cycle-buffer
d-mode
dap-mode
dape
dash
dashboard
ddskk
deferred
deft
demap
denote
desktop+
desktop-entry-mode
develock
devil
df-mode
dictionary
diff-hl
diminish
dircolors
dired-hacks
dired-sort-menu
distel
docker
dockerfile-mode
doctest-mode
doom-modeline
doom-themes
doxymacs
dropdown-list

dts-mode
dune-format
dwarf-mode
earthfile-mode
ebib
ebuild-mode
ebuild-run-mode
ecukes
edb
edit-indirect
edit-list
edit-server
editorconfig-emacs
ef-themes
eglot
eimp
el-mock
eldev
eldoc-box
elfeed
elfeed-protocol
elixir-mode
elpa-mirror
elpher
elpy
elscreen
emacs-aio
emacs-ansilove
emacs-bazel-mode
emacs-ccls
emacs-common
emacs-crystal-mode
emacs-daemon
emacs-eat
emacs-ebuild-snippets
emacs-eix
emacs-el-fetch
emacs-ipython-notebook

emacs-jabber
emacs-openrc
emacs-w3m
emacs-websearch
emacs-wget
emacsql
embark
embark-consult
emhacks
emms
emojify
engrave-faces
epc
epl
erefactor
erlang-mode
erobot
ert-async
ert-runner
eselect-mode
espuds
ess
esup
evil
exec-path-from-shell
exheres-mode
expand-region
external-completion
exwm
f
fedi
fennel-mode
fff
filladapt
flashcard
flim
flycheck
flycheck-clang-tidy

flycheck-guile
flycheck-inline
flycheck-nimsuggest
flycheck-package
folding
forge
fsharp-mode
gap-mode
geiser
geiser-chez
geiser-chicken
geiser-gambit
geiser-guile
geiser-mit
ghub
git-modes
git-timemachine
gnuplot-mode
gnuserv
go-mode
god-mode
google-c-style
gptel
graphql
graphviz-dot-mode
groovy-emacs-modes
gruvbox-theme
h4x0r
haskell-mode
haxe-mode
helm
helm-system-packages
hexrgb
highlight-indentation
highline
hl-todo
howm
ht

htmlize
httpd
hydra
icicles
igrep
indent-bars
inf-clojure
inform-mode
initsplit
ivy
ivy-rich
jam-mode
jasmin
jinx
jq-mode
js-comint
js2-mode
jsonrpc
julia-mode
julia-repl
kaolin-themes
key-chord
keywiz
kind-icon
lean-mode
ledger-mode
lice-el
llama
load-relative
lookup
lsp-docker
lsp-java
lsp-mode
lsp-treemacs
lsp-ui
lua-mode
lv
lyskom-elisp-client

m-buffer
macrostep
macrostep-geiser
magit
magit-popup
mailcrypt
marginalia
markdown-mode
mastodon
math-symbol-lists
matlab
mediawiki
meson-mode
metamath-mode
mew
mic-paren
mldonkey
mmm-mode
moccur-edit
mocker
modus-themes
mpg123-el
mu-cite
multi-term
multiple-cursors
muse
nagios-mode
navi2ch
nerd-icons
nginx-mode
nim-mode
ninja-mode
nix-mode
no-littering
noflet
nxml-docbook5-schemas
nxml-gentoo-schemas
nxml-libvirt-schemas

nxml-svg-schemas
oauth2
ocaml-mode
orderless
org-appear
org-contrib
org-mode
org-modern
org-roam
org-static-blog
org-superstar-mode
osm
outline-magic
package-build
package-lint
pandoc-mode
paredit
pariemacs
parsebib
parseclj
parseedn
pass
password-store-otp
pdf-tools
persist
pfuture
php-mode
pinentry
pkg-info
planner
plz
po-mode
poke
poke-mode
polymode
popup
popwin
pos-tip

posframe
pov-mode
powerline
powershell
projectile
proofgeneral
protbuf
psgml
puppet-mode
pymacs
python-mode
pyvenv
quack
queue
qwerty
racket-mode
rainbow-delimiters
rainbow-mode
raku-mode
reazon
redo+
reformatter
regress
remember
repology
request
rescript-mode
restclient
revive
rfcview
rg
riece
rnc-mode
rpm-spec-mode
rudel
rust-mode
s
scad-mode

scala-mode
scala-ts-mode
scheme-complete
scim-bridge-el
scss-mode
semi
servant
sesman
session
setnu
setup
sharper
shell-split-string
shrink-path
shut-up
slime
sly
sml-mode
sokoban
spacemacs-theme
speed-type
spinner
ssass-mode
ssh
string-inflection
stripes
sumibi
sunrise-commander
svg-lib
swift-mode
swiper
switch-window
system-packages
systemd-mode
tablist
teco
tempel
template

tempo-snippets
thinks
tp
transient
treemacs
treemacs-all-the-icons
treepy
treesit-auto
ts
tty-format
tuareg-mode
typescript-mode
typing
uboat
undercover
undo-tree
uptimes
use-package
uxntal-mode
vertico
vhdl-mode
visual-basic-mode
vm
volume
vterm
vue-html-mode
vue-mode
vw-mode
w3mnav
wanderlust
web-mode
web-server
webpaste
websocket
wfnames
wgrep
which-key
whine

wikipedia-mode
with-editor
with-simulated-input
ws-butler
xclip
xelb
xrdb-mode
xslide
yaml
yaml-mode
yasnippet
yasnippet-snippets
yatex
zenburn
zenburn-theme
zenirc

back

New Packages

- as

- as

2026-02-21

lego - 4.32.0

Ebuild name:

app-crypt/lego-4.32.0

Description

Let's Encrypt/ACME client (like certbot or acme.sh) and library written in Go

Added to portage

2026-02-21

microsoft-edge - 145.0.3800.70

Ebuild name:

www-client/microsoft-edge-145.0.3800.70

Description

The web browser from Microsoft

Added to portage

2026-02-21

microsoft-edge-beta - 146.0.3856.13

Ebuild name:

www-client/microsoft-edge-beta-146.0.3856.13

Description

The web browser from Microsoft

Added to portage

2026-02-21

microsoft-edge-dev - 146.0.3856.13

Ebuild name:

www-client/microsoft-edge-dev-146.0.3856.13

Description

The web browser from Microsoft

Added to portage

2026-02-21

multiple-cursors - 1.5.0

Ebuild name:

app-emacs/multiple-cursors-1.5.0

Description

Multiple cursors for Emacs

Added to portage

2026-02-21

mumble - 1.6.0_pre20260215-r1

Ebuild name:

net-voip/mumble-1.6.0_pre20260215-r1

Description

Open source, low-latency, high quality voice chat software

Added to portage

2026-02-21

murmur - 1.6.0_pre20260215-r1

Ebuild name:

net-voip/murmur-1.6.0_pre20260215-r1

Description

Open source, low-latency, high quality voice chat server

Added to portage

2026-02-21

pdns - 5.0.3

Ebuild name:

net-dns/pdns-5.0.3

Description

The PowerDNS Daemon

Added to portage

2026-02-21

wine-vanilla - 11.3

Ebuild name:

app-emulation/wine-vanilla-11.3

Description

Free implementation of Windows(tm) on Unix, without external patchs

Added to portage

2026-02-21

2026-02-20

acl - 2.3.2-r3

Ebuild name:

sys-apps/acl-2.3.2-r3

Description

Access control list utilities, libraries, and headers

Added to portage

2026-02-20

awscli - 1.44.43

Ebuild name:

app-admin/awscli-1.44.43

Description

Universal Command Line Environment for AWS

Added to portage

2026-02-20

bcachefs-tools - 1.36.1

Ebuild name:

sys-fs/bcachefs-tools-1.36.1

Description

Tools for bcachefs

Added to portage

2026-02-20

boto3 - 1.42.53

Ebuild name:

dev-python/boto3-1.42.53

Description

The AWS SDK for Python

Added to portage

2026-02-20

botocore - 1.42.53

Ebuild name:

dev-python/botocore-1.42.53

Description

Low-level, data-driven core of boto 3

Added to portage

2026-02-20

chrome-binary-plugins - 146.0.7680.16_beta

Ebuild name:

www-plugins/chrome-binary-plugins-146.0.7680.16_beta

Description

Binary plugins from Google Chrome for use in C

Added to portage

2026-02-20

chromium - 146.0.7680.16

Ebuild name:

www-client/chromium-146.0.7680.16

Description

Open-source version of Google Chrome web browser

Added to portage

2026-02-20

devcontainer - 0.83.2

Ebuild name:

app-containers/devcontainer-0.83.2

Description

Reference implementation of the Development Containers specifica

Added to portage

2026-02-20

dist-kernel - 5.10.251

Ebuild name:

virtual/dist-kernel-5.10.251

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 5.15.201

Ebuild name:

virtual/dist-kernel-5.15.201

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 6.1.164

Ebuild name:

virtual/dist-kernel-6.1.164

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 6.12.74

Ebuild name:

virtual/dist-kernel-6.12.74

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 6.18.13

Ebuild name:

virtual/dist-kernel-6.18.13

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 6.19.3

Ebuild name:

virtual/dist-kernel-6.19.3

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dist-kernel - 6.6.127

Ebuild name:

virtual/dist-kernel-6.6.127

Description

Virtual to depend on any Distribution Kernel

Added to portage

2026-02-20

dj-database-url - 3.1.2

Ebuild name:

dev-python/dj-database-url-3.1.2

Description

Use Database URLs in your Django Application

Added to portage

2026-02-20

dune - 3.21.1-r2

Ebuild name:

dev-ml/dune-3.21.1-r2

Description

A composable build system for OCaml

Added to portage

2026-02-20

dune-site - 3.21.1-r1

Ebuild name:

dev-ml/dune-site-3.21.1-r1

Description

Embed locations informations inside executable and libraries

Added to portage

2026-02-20

ffmpeg-chromium - 146

Ebuild name:

media-video/ffmpeg-chromium-146

Description

FFmpeg built specifically for codec support in Chromium-based brows

Added to portage

2026-02-20

flask - 3.1.3

Ebuild name:

dev-python/flask-3.1.3

Description

A microframework based on Werkzeug, Jinja2 and good intentions

Added to portage

2026-02-20

gentoo-kernel - 5.10.251

Ebuild name:

sys-kernel/gentoo-kernel-5.10.251

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 5.15.201

Ebuild name:

sys-kernel/gentoo-kernel-5.15.201

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 6.1.164

Ebuild name:

sys-kernel/gentoo-kernel-6.1.164

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 6.12.74

Ebuild name:

sys-kernel/gentoo-kernel-6.12.74

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 6.18.13

Ebuild name:

sys-kernel/gentoo-kernel-6.18.13

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 6.19.3

Ebuild name:

sys-kernel/gentoo-kernel-6.19.3

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel - 6.6.127

Ebuild name:

sys-kernel/gentoo-kernel-6.6.127

Description

Linux kernel built with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 5.10.251

Ebuild name:

sys-kernel/gentoo-kernel-bin-5.10.251

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 5.15.201

Ebuild name:

sys-kernel/gentoo-kernel-bin-5.15.201

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 6.1.164

Ebuild name:

sys-kernel/gentoo-kernel-bin-6.1.164

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 6.12.74

Ebuild name:

sys-kernel/gentoo-kernel-bin-6.12.74

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 6.18.13

Ebuild name:

sys-kernel/gentoo-kernel-bin-6.18.13

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 6.19.3

Ebuild name:

sys-kernel/gentoo-kernel-bin-6.19.3

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-kernel-bin - 6.6.127

Ebuild name:

sys-kernel/gentoo-kernel-bin-6.6.127

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2026-02-20

gentoo-sources - 5.10.250

Ebuild name:

sys-kernel/gentoo-sources-5.10.250

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 5.15.201

Ebuild name:

sys-kernel/gentoo-sources-5.15.201

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 6.1.164

Ebuild name:

sys-kernel/gentoo-sources-6.1.164

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 6.12.74

Ebuild name:

sys-kernel/gentoo-sources-6.12.74

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 6.18.13

Ebuild name:

sys-kernel/gentoo-sources-6.18.13

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 6.19.3

Ebuild name:

sys-kernel/gentoo-sources-6.19.3

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-sources - 6.6.127

Ebuild name:

sys-kernel/gentoo-sources-6.6.127

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-20

gentoo-systemd-integration - 9-r2

Ebuild name:

sys-apps/gentoo-systemd-integration-9-r2

Description

systemd integration files for Gentoo

Added to portage

2026-02-20

google-chrome-beta - 146.0.7680.16

Ebuild name:

www-client/google-chrome-beta-146.0.7680.16

Description

The web browser from Google

Added to portage

2026-02-20

gputils - 1.5.2-r1

Ebuild name:

dev-embedded/gputils-1.5.2-r1

Description

Tools including assembler, linker and librarian for PIC microcontroll

Added to portage

2026-02-20

grpcio - 1.78.1

Ebuild name:

dev-python/grpcio-1.78.1

Description

HTTP/2-based RPC framework

Added to portage

2026-02-20

grpcio-status - 1.78.1

Ebuild name:

dev-python/grpcio-status-1.78.1

Description

Reference package for GRPC Python status proto mapping

Added to portage

2026-02-20

isort - 8.0.0

Ebuild name:

dev-python/isort-8.0.0

Description

A python utility/library to sort imports

Added to portage

2026-02-20

jdbc-mysql - 9.6.0

Ebuild name:

dev-java/jdbc-mysql-9.6.0

Description

JDBC Type 4 driver for MySQL

Added to portage

2026-02-20

krita - 6.0.0_beta2

Ebuild name:

media-gfx/krita-6.0.0_beta2

Description

Free digital painting application. Digital Painting, Creative Freedom

Added to portage

2026-02-20

libgcrypt - 1.12.1

Ebuild name:

dev-libs/libgcrypt-1.12.1

Description

General purpose crypto library based on the code used in GnuPG

Added to portage

2026-02-20

libgpg-error - 1.59

Ebuild name:

dev-libs/libgpg-error-1.59

Description

Contains error handling functions used by GnuPG software

Added to portage

2026-02-20

mattermost-desktop-bin - 6.1.0_rc4

Ebuild name:

net-im/mattermost-desktop-bin-6.1.0_rc4

Description

Mattermost Desktop application

Added to portage

2026-02-20

mod_h2 - 2.0.39

Ebuild name:

www-apache/mod_h2-2.0.39

Description

HTTP/2 module for Apache

Added to portage

2026-02-20

muse - 3.20.2

Ebuild name:

app-emacs/muse-3.20.2

Description

An authoring and publishing environment for Emacs

Added to portage

2026-02-20

nagios-mode - 0.4

Ebuild name:

app-emacs/nagios-mode-0.4

Description

Major mode for editing Nagios configuration files

Added to portage

2026-02-20

navi2ch - 1.8.4-r2

Ebuild name:

app-emacs/navi2ch-1.8.4-r2

Description

A navigator for the Japanese textboard 2ch

Added to portage

2026-02-20

opam - 2.2.1-r1

Ebuild name:

dev-ml/opam-2.2.1-r1

Description

A source-based package manager for OCaml

Added to portage

2026-02-20

protobuf-java - 4.33.5

Ebuild name:

dev-java/protobuf-java-4.33.5

Description

Core Protocol Buffers library

Added to portage

2026-02-20

rclone - 1.73.1

Ebuild name:

net-misc/rclone-1.73.1

Description

A program to sync files to and from various cloud storage providers

Added to portage

2026-02-20

regex - 2026.2.19

Ebuild name:

dev-python/regex-2026.2.19

Description

Alternative regular expression module to replace re

Added to portage

2026-02-20

responses - 0.26.0

Ebuild name:

dev-python/responses-0.26.0

Description

Utility for mocking out the Python Requests library

Added to portage

2026-02-20

rich - 14.3.3

Ebuild name:

dev-python/rich-14.3.3

Description

Python library for rendering rich text, tables, etc. to the terminal

Added to portage

2026-02-20

samba - 4.22.8

Ebuild name:

net-fs/samba-4.22.8

Description

Samba Suite Version 4

Added to portage

2026-02-20

samba - 4.24.0_rc1

Ebuild name:

net-fs/samba-4.24.0_rc1

Description

Samba Suite Version 4

Added to portage

2026-02-20

sdcc - 4.5.0

Ebuild name:

dev-embedded/sdcc-4.5.0

Description

Small device C compiler (for various microprocessors)

Added to portage

2026-02-20

signal-desktop-bin - 7.90.0

Ebuild name:

net-im/signal-desktop-bin-7.90.0

Description

Allows you to send and receive messages of Signal Messenger on you

Added to portage

2026-02-20

swi-prolog - 10.0.1

Ebuild name:

dev-lang/swi-prolog-10.0.1

Description

Versatile implementation of the Prolog programming language

Added to portage

2026-02-20

talloc - 2.4.4

Ebuild name:

sys-libs/talloc-2.4.4

Description

Samba talloc library

Added to portage

2026-02-20

tdb - 1.4.15

Ebuild name:

sys-libs/tdb-1.4.15

Description

Simple database API

Added to portage

2026-02-20

testtools - 2.8.4

Ebuild name:

dev-python/testtools-2.8.4

Description

Extensions to the Python standard library unit testing framework

Added to portage

2026-02-20

tox - 4.41.0

Ebuild name:

dev-python/tox-4.41.0

Description

virtualenv-based automation of test activities

Added to portage

2026-02-20

transmission - 4.1.1

Ebuild name:

net-p2p/transmission-4.1.1

Description

A fast, easy, and free BitTorrent client

Added to portage

2026-02-20

typeguard - 4.5.1

Ebuild name:

dev-python/typeguard-4.5.1

Description

Run-time type checker for Python

Added to portage

2026-02-20

vanilla-kernel - 5.10.251

Ebuild name:

sys-kernel/vanilla-kernel-5.10.251

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 5.15.201

Ebuild name:

sys-kernel/vanilla-kernel-5.15.201

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 6.1.164

Ebuild name:

sys-kernel/vanilla-kernel-6.1.164

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 6.12.74

Ebuild name:

sys-kernel/vanilla-kernel-6.12.74

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 6.18.13

Ebuild name:

sys-kernel/vanilla-kernel-6.18.13

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 6.19.3

Ebuild name:

sys-kernel/vanilla-kernel-6.19.3

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-kernel - 6.6.127

Ebuild name:

sys-kernel/vanilla-kernel-6.6.127

Description

Linux kernel built from vanilla upstream sources

Added to portage

2026-02-20

vanilla-sources - 5.10.251

Ebuild name:

sys-kernel/vanilla-sources-5.10.251

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 5.15.201

Ebuild name:

sys-kernel/vanilla-sources-5.15.201

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 6.1.164

Ebuild name:

sys-kernel/vanilla-sources-6.1.164

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 6.12.74

Ebuild name:

sys-kernel/vanilla-sources-6.12.74

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 6.18.13

Ebuild name:

sys-kernel/vanilla-sources-6.18.13

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 6.19.3

Ebuild name:

sys-kernel/vanilla-sources-6.19.3

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

vanilla-sources - 6.6.127

Ebuild name:

sys-kernel/vanilla-sources-6.6.127

Description

Full sources for the Linux kernel

Added to portage

2026-02-20

virtualbox-guest-modules - 7.2.6-r1

Ebuild name:

app-emulation/virtualbox-guest-modules-7.2.6-r1

Description

Kernel Modules for Virtualbox Guest Additions

Added to portage

2026-02-20

virtualbox-modules - 7.2.6-r1

Ebuild name:

app-emulation/virtualbox-modules-7.2.6-r1

Description

Kernel Modules for Virtualbox

Added to portage

2026-02-20

virtualenv - 20.38.0

Ebuild name:

dev-python/virtualenv-20.38.0

Description

Virtual Python Environment builder

Added to portage

2026-02-20

werkzeug - 3.1.6

Ebuild name:

dev-python/werkzeug-3.1.6

Description

Collection of various utilities for WSGI applications

Added to portage

2026-02-20

z3 - 4.16.0

Ebuild name:

sci-mathematics/z3-4.16.0

Description

An efficient theorem prover

Added to portage

2026-02-20

Copyright 2004-2025 Sascha Nitsch Unternehmensberatung GmbH
- Copyright and legal notices -
Time to create this page: 22.3 ms

Programs in category app-emacs:

New Packages