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:

86493

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

binary
binary-orphans
bitvec
blaze-builder
blaze-html
blaze-markup
blaze-svg
bloomfilter
boolean
boring
brick
bsb-http-chunked
byteable
byteorder
bytes
bytestring-builder
c2hs
cabal
cabal-described
cabal-doctest
cabal-install
cabal-install-solver
cabal-quickcheck
cabal-syntax
cabal-tree-diff
cairo
call-stack
case-insensitive
cassava
cborg
cereal
cereal-vector
character-ps
charset
chasingbottoms
chell
cipher-aes
circle-packing

citeproc
clientsession
clock
cmdargs
code-page
colour
commonmark
commonmark-extensions
commonmark-pandoc
comonad
concurrent-output
conduit
conduit-combinators
conduit-extra
config-ini
configurator
connection
constraints
contravariant
convertible
cookie
cprng-aes
criterion
criterion-measurement
crypto-api
crypto-api-tests
crypto-cipher-tests
crypto-cipher-types
crypto-random
crypto-token
cryptohash-md5
cryptohash-sha1
cryptohash-sha256
crypton
crypton-conduit
crypton-connection
crypton-x509
crypton-x509-store

crypton-x509-system
crypton-x509-validation
cryptonite
cryptonite-conduit
css-text
cubicbezier
data-array-byte
data-clist
data-default
data-default-class
data-default-instances-containers
data-default-instances-dlist
data-default-instances-old-locale
data-fix
data-ordlist
dav
dbus
dec
dense-linear-algebra
deriving-compat
diagrams-cairo
diagrams-contrib
diagrams-core
diagrams-lib
diagrams-solve
dictionary-sharing
diff
digest
digits
disk-free-space
distributive
djot
dlist
dns
doclayout
doctemplates
doctest
doctest-driver-gen

dual-tree
easy-file
ech-config
echo
ed25519
edit-distance
email-validate
emojis
enclosed-exceptions
entropy
erf
errorcall-eq-instance
errors
exceptions
extensible-exceptions
extra
fail
fast-logger
fast-math
fdo-notify
feed
fgl
file-embed
filemanip
filepath-bytestring
filepattern
fin
findbin
fingertree
foldable1-classes-compat
foldl
force-layout
foundation
free
fsnotify
generic-deriving
generically
generics-sop

getopt-generics
ghc-byteorder
ghc-paths
git-lfs
glib
glob
gridtables
groups
gtk2hs-buildtools
hackage-security
haddock-library
hadrian
half
happy
hashable
hashtables
haskeline
haskell-lexer
haskell-src-exts
haskell-src-meta
hdbc
hdbc-postgresql
hdbc-sqlite3
heaps
hedgehog
hinotify
hjsmin
hostname
hourglass
hpke
hscolour
hslogger
hslua
hslua-aeson
hslua-classes
hslua-cli
hslua-core
hslua-list

hslua-marshalling
hslua-module-doclayout
hslua-module-path
hslua-module-system
hslua-module-text
hslua-module-version
hslua-module-zip
hslua-objectorientation
hslua-packaging
hslua-repl
hslua-typing
hspec
hspec-contrib
hspec-core
hspec-discover
hspec-expectations
hspec-megaparsec
hspec-meta
hspec-wai
hsyaml
html
html-conduit
http
http-api-data
http-client
http-client-restricted
http-client-tls
http-conduit
http-date
http-media
http-semantics
http-types
http2
httpd-shed
hunit
ieee754
ifelse
indexed-traversable

indexed-traversable-instances
ini
inspection-testing
integer-conversion
integer-logarithms
integration
intervals
invariant
iproute
ipynb
isocline
jira-wiki-markup
js-chart
js-dgtable
js-flot
js-jquery
json
juicypixels
kan-extensions
language-c
language-haskell-extract
language-javascript
leancheck
lens
libmpd
libyaml
libyaml-clib
lift-type
lifted-async
lifted-base
linear
logging-facade
logict
lpeg
lua
lua-arbitrary
lukko
magic

markdown-unlit
math-functions
matrices
megaparsec
megaparsec-tests
memory
memotrie
mfsolve
microaeson
microlens
microlens-aeson
microlens-ghc
microlens-mtl
microlens-platform
microlens-th
microstache
mime-types
missingh
mmap
mmorph
mockery
monad-control
monad-logger
monad-loops
monad-par
monad-par-extras
monad-parallel
monadrandom
monads-tf
mono-traversable
monoid-extras
mountpoints
mtl
mtl-compat
mwc-random
nanospec
nats
netlink

network
network-bsd
network-byte-order
network-control
network-info
network-multicast
network-run
network-uri
newtype-generics
nothunks
numeric-extras
numinstances
old-locale
old-time
onetuple
only
options
optparse-applicative
ordered-containers
os-string
pandoc
pandoc-lua-engine
pandoc-lua-marshal
pandoc-server
pandoc-types
pango
parallel
parallel-io
parsec
parsec-numbers
parsec1
parser-combinators
parsers
path-pieces
patience
pcg-random
pcre-light
pem

persistent
persistent-sqlite
persistent-template
persistent-test
pgp-wordlist
pretty-hex
pretty-show
pretty-simple
prettyprinter
prettyprinter-ansi-terminal
prettyprinter-compat-ansi-wl-pprint
primitive
primitive-addr
process
profunctors
psqueues
puremd5
quickcheck
quickcheck-classes
quickcheck-classes-base
quickcheck-instances
quickcheck-io
quickcheck-text
quickcheck-unicode
random
random-bytestring
raw-strings-qq
recv
reducers
reflection
regex-applicative
regex-base
regex-compat
regex-posix
regex-tdfa
replace-megaparsec
rere
resolv

resource-pool
resourcet
retry
rio
safe
safe-exceptions
safesemaphore
sandi
sandwich
scientific
securemem
semialign
semigroupoids
semigroups
semirings
serialise
servant
servant-client
servant-client-core
servant-server
setenv
setlocale
sha
shakespeare
shelly
should-not-typecheck
silently
simple-reflect
simple-sendfile
singleton-bool
size-based
skein
skylighting
skylighting-core
skylighting-format-ansi
skylighting-format-blaze-html
skylighting-format-context
skylighting-format-latex

skylighting-format-typst
smallcheck
socks
some
sop-core
split
splitmix
statestack
statevar
statistics
stm
stm-chans
streaming-commons
strict
string-conversions
string-interpolate
string-qq
stringbuilder
svgfonts
syb
system-fileio
system-filepath
tagged
tagsoup
tar
tasty
tasty-expected-failure
tasty-golden
tasty-hedgehog
tasty-hslua
tasty-hunit
tasty-inspection-testing
tasty-kat
tasty-lua
tasty-quickcheck
tasty-rerun
tasty-smallcheck
tasty-th

temporary
temporary-rc
terminal-size
test-framework
test-framework-hunit
test-framework-leancheck
test-framework-quickcheck2
test-framework-th
testing-feat
testing-type-modifiers
texmath
text
text-conversions
text-icu
text-iso8601
text-short
text-show
text-zipper
tf-random
th-abstraction
th-compat
th-expand-syns
th-lift
th-lift-instances
th-orphans
th-reify-many
these
time-compat
time-locale-compat
time-manager
timeit
timezone-olson
timezone-series
tls
tls-session-manager
toml-parser
torrent
tracetree

transformers
transformers-base
transformers-compat
tree-diff
trifecta
type-equality
typed-process
typst
typst-symbols
unbounded-delays
unicode-collation
unicode-data
unicode-transforms
uniplate
universe-base
unix-compat
unix-time
unliftio
unliftio-core
unordered-containers
utf8-light
utf8-string
uuid
uuid-types
vault
vec
vector
vector-algorithms
vector-binary-instances
vector-space
vector-stream
vector-th-unbox
void
vty
vty-crossplatform
vty-unix
wai
wai-app-static

wai-cors
wai-extra
wai-logger
wai-websockets
warp
warp-tls
wcwidth
websockets
wherefrom-compat
witherable
wl-pprint-annotated
word-wrap
word8
x11
x11-xft
x509
x509-store
x509-system
x509-validation
xhtml
xml
xml-conduit
xml-hamlet
xml-types
xss-sanitize
yaml
yesod
yesod-core
yesod-form
yesod-persistent
yesod-static
yesod-test
zip-archive
zlib
zlib-clib

back

New Packages

- as

- as

2026-07-02

aiohappyeyeballs - 2.7.1

Ebuild name:

dev-python/aiohappyeyeballs-2.7.1

Description

Happy Eyeballs for pre-resolved hosts

Added to portage

2026-07-02

argcomplete - 3.7.0

Ebuild name:

dev-python/argcomplete-3.7.0

Description

Bash tab completion for argparse

Added to portage

2026-07-02

asterisk - 20.20.1

Ebuild name:

net-misc/asterisk-20.20.1

Description

Asterisk A Modular Open Source PBX System

Added to portage

2026-07-02

aws-sam-translator - 1.111.0

Ebuild name:

dev-python/aws-sam-translator-1.111.0

Description

A library that transform SAM templates into AWS CloudFormatio

Added to portage

2026-07-02

awscli - 1.45.39

Ebuild name:

app-admin/awscli-1.45.39

Description

Universal Command Line Environment for AWS

Added to portage

2026-07-02

boto3 - 1.43.39

Ebuild name:

dev-python/boto3-1.43.39

Description

The AWS SDK for Python

Added to portage

2026-07-02

botocore - 1.43.39

Ebuild name:

dev-python/botocore-1.43.39

Description

Low-level, data-driven core of boto 3

Added to portage

2026-07-02

celestia - 1.7.0_pre20260630

Ebuild name:

sci-astronomy/celestia-1.7.0_pre20260630

Description

OpenGL 3D space simulator

Added to portage

2026-07-02

deno-bin - 2.9.1

Ebuild name:

dev-lang/deno-bin-2.9.1

Description

Modern runtime for JavaScript and TypeScript

Added to portage

2026-07-02

faker - 40.28.1

Ebuild name:

dev-python/faker-40.28.1

Description

A Python package that generates fake data for you

Added to portage

2026-07-02

fastapi - 0.139.0

Ebuild name:

dev-python/fastapi-0.139.0

Description

High performance framework, easy to learn, fast to code, ready for produ

Added to portage

2026-07-02

file-roller - 44.7

Ebuild name:

app-arch/file-roller-44.7

Description

Archive manager for GNOME

Added to portage

2026-07-02

firefox-bin - 152.0.4

Ebuild name:

www-client/firefox-bin-152.0.4

Description

Firefox Web Browser

Added to portage

2026-07-02

framework-tool-tui - 0.8.4

Ebuild name:

app-laptop/framework-tool-tui-0.8.4

Description

TUI for controlling and monitoring Framework Computers hardware

Added to portage

2026-07-02

gitg - 50

Ebuild name:

dev-vcs/gitg-50

Description

git repository viewer for GNOME

Added to portage

2026-07-02

gpyutils - 0.15.7

Ebuild name:

app-portage/gpyutils-0.15.7

Description

Utitilies for maintaining Python packages

Added to portage

2026-07-02

isa-l - 2.32.1

Ebuild name:

dev-libs/isa-l-2.32.1

Description

Intelligent Storage Acceleration Library

Added to portage

2026-07-02

knot - 3.5.5-r1

Ebuild name:

net-dns/knot-3.5.5-r1

Description

High-performance authoritative-only DNS server

Added to portage

2026-07-02

knot-resolver - 6.4.0-r1

Ebuild name:

net-dns/knot-resolver-6.4.0-r1

Description

Scaleable caching DNS resolver

Added to portage

2026-07-02

libcuefile - 477-r4

Ebuild name:

media-libs/libcuefile-477-r4

Description

Cue File library from Musepack

Added to portage

2026-07-02

libevent - 2.1.13

Ebuild name:

dev-libs/libevent-2.1.13

Description

Library to execute a function when a specific event occurs on a file descr

Added to portage

2026-07-02

libevent - 2.2.2

Ebuild name:

dev-libs/libevent-2.2.2

Description

Library to execute a function when a specific event occurs on a file descri

Added to portage

2026-07-02

libjxl - 0.12.0

Ebuild name:

media-libs/libjxl-0.12.0

Description

JPEG XL image format reference implementation

Added to portage

2026-07-02

libresidfp - 1.1.1

Ebuild name:

media-libs/libresidfp-1.1.1

Description

Library to software emulation of the MOS 6581/8580 SID chip

Added to portage

2026-07-02

libsdl3 - 3.4.12

Ebuild name:

media-libs/libsdl3-3.4.12

Description

Simple Direct Media Layer

Added to portage

2026-07-02

libsidplayfp - 3.0.2

Ebuild name:

media-libs/libsidplayfp-3.0.2

Description

Library for the sidplay2 fork with resid-fp

Added to portage

2026-07-02

libu2f-server - 1.1.0-r2

Ebuild name:

app-crypt/libu2f-server-1.1.0-r2

Description

Yubico Universal 2nd Factor (U2F) server C Library

Added to portage

2026-07-02

mgorny-dev-scripts - 83

Ebuild name:

app-portage/mgorny-dev-scripts-83

Description

Handy scripts for ebuild development and more

Added to portage

2026-07-02

mozc - 3.34.6239

Ebuild name:

app-i18n/mozc-3.34.6239

Description

Japanese input method editor

Added to portage

2026-07-02

narwhals - 2.23.0

Ebuild name:

dev-python/narwhals-2.23.0

Description

Extremely lightweight compatibility layer between dataframe libraries

Added to portage

2026-07-02

noto - 20260701

Ebuild name:

media-fonts/noto-20260701

Description

Google's font family that aims to support all the world's languages

Added to portage

2026-07-02

pdns - 5.1.3

Ebuild name:

net-dns/pdns-5.1.3

Description

The PowerDNS Daemon

Added to portage

2026-07-02

pillow - 12.3.0

Ebuild name:

dev-python/pillow-12.3.0

Description

Python Imaging Library (fork)

Added to portage

2026-07-02

pixi - 0.72.0

Ebuild name:

dev-util/pixi-0.72.0

Description

A package management and workflow tool

Added to portage

2026-07-02

pytest-rerunfailures - 16.4

Ebuild name:

dev-python/pytest-rerunfailures-16.4

Description

pytest plugin to re-run tests to eliminate flaky failures

Added to portage

2026-07-02

qtractor - 1.6.1

Ebuild name:

media-sound/qtractor-1.6.1

Description

Audio/MIDI multi-track sequencer written in C++ with the Qt framework

Added to portage

2026-07-02

sidplayfp - 3.1.0

Ebuild name:

media-sound/sidplayfp-3.1.0

Description

Sidplay2 fork with resid-fp

Added to portage

2026-07-02

sphinx-argparse - 0.6.0

Ebuild name:

dev-python/sphinx-argparse-0.6.0

Description

Sphinx extension that automatically documents argparse commands an

Added to portage

2026-07-02

stalwart-cli - 1.0.9

Ebuild name:

net-mail/stalwart-cli-1.0.9

Description

Stalwart Mail Server command line utility

Added to portage

2026-07-02

stalwart-mail - 0.16.11

Ebuild name:

net-mail/stalwart-mail-0.16.11

Description

Stalwart Mail Server

Added to portage

2026-07-02

syrupy - 5.4.0

Ebuild name:

dev-python/syrupy-5.4.0

Description

The sweeter pytest snapshot plugin

Added to portage

2026-07-02

systemd - 261.1

Ebuild name:

sys-apps/systemd-261.1

Description

System and service manager for Linux

Added to portage

2026-07-02

thunderbird - 140.12.1

Ebuild name:

mail-client/thunderbird-140.12.1

Description

Thunderbird Mail Client

Added to portage

2026-07-02

thunderbird - 152.0.1

Ebuild name:

mail-client/thunderbird-152.0.1

Description

Thunderbird Mail Client

Added to portage

2026-07-02

thunderbird-bin - 140.12.1

Ebuild name:

mail-client/thunderbird-bin-140.12.1

Description

Thunderbird Mail Client

Added to portage

2026-07-02

thunderbird-bin - 152.0.1

Ebuild name:

mail-client/thunderbird-bin-152.0.1

Description

Thunderbird Mail Client

Added to portage

2026-07-02

thunderbird-l10n - 152.0.1

Ebuild name:

mail-client/thunderbird-l10n-152.0.1

Description

Thunderbird mail client's translation files

Added to portage

2026-07-02

treq - 26.7.0

Ebuild name:

dev-python/treq-26.7.0

Description

A requests-like API built on top of twisted.web's Agent

Added to portage

2026-07-02

wxmaxima - 26.06.2

Ebuild name:

sci-mathematics/wxmaxima-26.06.2

Description

Graphical frontend to Maxima, using the wxWidgets toolkit

Added to portage

2026-07-02

xvfbwrapper - 0.2.27

Ebuild name:

dev-python/xvfbwrapper-0.2.27

Description

Python wrapper for running a display inside X virtual framebuffer

Added to portage

2026-07-02

2026-07-01

Gtk2 - 1.249.930-r2

Ebuild name:

dev-perl/Gtk2-1.249.930-r2

Description

Perl bindings for GTK2

Added to portage

2026-07-01

X-Osd - 0.700.0-r4

Ebuild name:

dev-perl/X-Osd-0.700.0-r4

Description

Perl glue to libxosd (X OnScreen Display)

Added to portage

2026-07-01

ansible-compat - 26.6.0

Ebuild name:

dev-python/ansible-compat-26.6.0

Description

Contains functions that facilitate working with various versions o

Added to portage

2026-07-01

ast-serialize - 0.6.0

Ebuild name:

dev-python/ast-serialize-0.6.0

Description

Python bindings for mypy AST serialization

Added to portage

2026-07-01

asterisk - 21.12.3

Ebuild name:

net-misc/asterisk-21.12.3

Description

Asterisk A Modular Open Source PBX System

Added to portage

2026-07-01

asterisk - 22.10.1

Ebuild name:

net-misc/asterisk-22.10.1

Description

Asterisk A Modular Open Source PBX System

Added to portage

2026-07-01

asterisk - 23.4.1

Ebuild name:

net-misc/asterisk-23.4.1

Description

Asterisk A Modular Open Source PBX System

Added to portage

2026-07-01

awscli - 1.45.38

Ebuild name:

app-admin/awscli-1.45.38

Description

Universal Command Line Environment for AWS

Added to portage

2026-07-01

beniget - 0.5.0-r1

Ebuild name:

dev-python/beniget-0.5.0-r1

Description

Extract semantic information about static Python code

Added to portage

2026-07-01

boto3 - 1.43.38

Ebuild name:

dev-python/boto3-1.43.38

Description

The AWS SDK for Python

Added to portage

2026-07-01

botocore - 1.43.38

Ebuild name:

dev-python/botocore-1.43.38

Description

Low-level, data-driven core of boto 3

Added to portage

2026-07-01

cloudflare-warp - 2026.6.822.0

Ebuild name:

net-vpn/cloudflare-warp-2026.6.822.0

Description

Cloudflare Warp Client

Added to portage

2026-07-01

cython - 3.2.8

Ebuild name:

dev-python/cython-3.2.8

Description

A Python to C compiler

Added to portage

2026-07-01

diffoscope - 323

Ebuild name:

dev-util/diffoscope-323

Description

Will try to get to the bottom of what makes files or directories different

Added to portage

2026-07-01

discord - 1.0.145

Ebuild name:

net-im/discord-1.0.145

Description

All-in-one voice and text chat for gamers

Added to portage

2026-07-01

dulwich - 1.2.7

Ebuild name:

dev-python/dulwich-1.2.7

Description

Pure-Python implementation of the Git file formats and protocols

Added to portage

2026-07-01

faker - 40.27.0

Ebuild name:

dev-python/faker-40.27.0

Description

A Python package that generates fake data for you

Added to portage

2026-07-01

gallery-dl - 1.32.5

Ebuild name:

net-misc/gallery-dl-1.32.5

Description

Download image galleries and collections from several image hosting site

Added to portage

2026-07-01

giflib - 6.1.3

Ebuild name:

media-libs/giflib-6.1.3

Description

Library to handle, display and manipulate GIF images

Added to portage

2026-07-01

humanize - 4.16.0

Ebuild name:

dev-python/humanize-4.16.0

Description

Common humanization utilities

Added to portage

2026-07-01

joplin-desktop - 3.7.6

Ebuild name:

app-office/joplin-desktop-3.7.6

Description

Secure note taking and to-do app with synchronization capabilities

Added to portage

2026-07-01

knock - 0.8.2

Ebuild name:

net-misc/knock-0.8.2

Description

Simple port-knocking daemon

Added to portage

2026-07-01

kquickimageeditor - 0.6.2.1

Ebuild name:

media-libs/kquickimageeditor-0.6.2.1

Description

QtQuick components providing basic image editing capabilities

Added to portage

2026-07-01

librt - 0.12.0

Ebuild name:

dev-python/librt-0.12.0

Description

Mypyc runtime library

Added to portage

2026-07-01

lyskom-elisp-client - 0.48_p20200226

Ebuild name:

app-emacs/lyskom-elisp-client-0.48_p20200226

Description

Elisp client for the LysKOM conference system

Added to portage

2026-07-01

m-buffer - 0.16.1

Ebuild name:

app-emacs/m-buffer-0.16.1

Description

List Oriented Buffer Operations for Emacs

Added to portage

2026-07-01

nasm - 3.02

Ebuild name:

dev-lang/nasm-3.02

Description

groovy little assembler

Added to portage

2026-07-01

nginx - 1.29.5-r1

Ebuild name:

www-servers/nginx-1.29.5-r1

Description

Added to portage

2026-07-01

nginx - 1.29.7-r2

Ebuild name:

www-servers/nginx-1.29.7-r2

Description

Added to portage

2026-07-01

nginx - 1.30.0-r1

Ebuild name:

www-servers/nginx-1.30.0-r1

Description

Added to portage

2026-07-01

nginx - 1.30.2-r1

Ebuild name:

www-servers/nginx-1.30.2-r1

Description

Added to portage

2026-07-01

nginx - 1.30.3-r1

Ebuild name:

www-servers/nginx-1.30.3-r1

Description

Added to portage

2026-07-01

nginx - 1.31.1-r1

Ebuild name:

www-servers/nginx-1.31.1-r1

Description

Added to portage

2026-07-01

nginx - 1.31.2-r1

Ebuild name:

www-servers/nginx-1.31.2-r1

Description

Added to portage

2026-07-01

octave-kernel - 1.1.0

Ebuild name:

dev-python/octave-kernel-1.1.0

Description

Jupyter kernel for octave

Added to portage

2026-07-01

pixi - 0.71.3

Ebuild name:

dev-util/pixi-0.71.3

Description

A package management and workflow tool

Added to portage

2026-07-01

qmplay2 - 26.06.27

Ebuild name:

media-video/qmplay2-26.06.27

Description

A Qt-based video player, which can play most formats and codecs

Added to portage

2026-07-01

rpds-py - 2026.6.3

Ebuild name:

dev-python/rpds-py-2026.6.3

Description

Python bindings to Rust's persistent data structures (rpds)

Added to portage

2026-07-01

rssguard - 5.2.1

Ebuild name:

net-news/rssguard-5.2.1

Description

Simple (yet powerful) news feed reader

Added to portage

2026-07-01

samba - 4.24.4

Ebuild name:

net-fs/samba-4.24.4

Description

Samba Suite Version 4

Added to portage

2026-07-01

starship - 1.26.0

Ebuild name:

app-shells/starship-1.26.0

Description

The minimal, blazing-fast, and infinitely customizable prompt for any sh

Added to portage

2026-07-01

svxlink - 26.05

Ebuild name:

media-radio/svxlink-26.05

Description

Multi Purpose Voice Services System, including Qtel for EchoLink

Added to portage

2026-07-01

uv - 0.11.26

Ebuild name:

dev-python/uv-0.11.26

Description

A Python package installer and resolver, written in Rust

Added to portage

2026-07-01

uv-build - 0.11.26

Ebuild name:

dev-python/uv-build-0.11.26

Description

PEP517 uv build backend

Added to portage

2026-07-01

xmlschema - 4.3.2

Ebuild name:

dev-python/xmlschema-4.3.2

Description

An XML Schema validator and decoder

Added to portage

2026-07-01

xvfbwrapper - 0.2.25

Ebuild name:

dev-python/xvfbwrapper-0.2.25

Description

Python wrapper for running a display inside X virtual framebuffer

Added to portage

2026-07-01

yices2 - 2.7.0

Ebuild name:

sci-mathematics/yices2-2.7.0

Description

SMT Solver supporting SMT-LIB and Yices specification language

Added to portage

2026-07-01

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

Programs in category dev-haskell:

New Packages