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:

83256

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

Packages using USE-Flag X:

back

New Packages

- as

- as

2026-02-14

attica - 6.23.0

Ebuild name:

kde-frameworks/attica-6.23.0

Description

Framework providing access to Open Collaboration Services

Added to portage

2026-02-14

baloo - 6.23.0

Ebuild name:

kde-frameworks/baloo-6.23.0

Description

Framework for searching and managing metadata

Added to portage

2026-02-14

bluez-qt - 6.23.0

Ebuild name:

kde-frameworks/bluez-qt-6.23.0

Description

Qt wrapper for Bluez 5 DBus API

Added to portage

2026-02-14

breeze-icons - 6.23.0

Ebuild name:

kde-frameworks/breeze-icons-6.23.0

Description

Breeze SVG icon theme

Added to portage

2026-02-14

extra-cmake-modules - 6.23.0

Ebuild name:

kde-frameworks/extra-cmake-modules-6.23.0

Description

Extra modules and scripts for CMake

Added to portage

2026-02-14

frameworkintegration - 6.23.0

Ebuild name:

kde-frameworks/frameworkintegration-6.23.0

Description

Framework for integrating Qt applications with KDE Plasm

Added to portage

2026-02-14

kapidox - 6.23.0

Ebuild name:

kde-frameworks/kapidox-6.23.0

Description

Framework for building KDE API documentation in a standard format and

Added to portage

2026-02-14

karchive - 6.23.0

Ebuild name:

kde-frameworks/karchive-6.23.0

Description

Framework for reading, creation, and manipulation of various archive

Added to portage

2026-02-14

kauth - 6.23.0

Ebuild name:

kde-frameworks/kauth-6.23.0

Description

Framework to let applications perform actions as a privileged user

Added to portage

2026-02-14

kbookmarks - 6.23.0

Ebuild name:

kde-frameworks/kbookmarks-6.23.0

Description

Framework for managing bookmarks stored in XBEL format

Added to portage

2026-02-14

kcalendarcore - 6.23.0

Ebuild name:

kde-frameworks/kcalendarcore-6.23.0

Description

Library for interfacing with calendars

Added to portage

2026-02-14

kcmutils - 6.23.0

Ebuild name:

kde-frameworks/kcmutils-6.23.0

Description

Framework to work with KDE System Settings modules

Added to portage

2026-02-14

kcodecs - 6.23.0

Ebuild name:

kde-frameworks/kcodecs-6.23.0

Description

Framework for manipulating strings using various encodings

Added to portage

2026-02-14

kcolorscheme - 6.23.0

Ebuild name:

kde-frameworks/kcolorscheme-6.23.0

Description

Framework for downloading and sharing additional application dat

Added to portage

2026-02-14

kcompletion - 6.23.0

Ebuild name:

kde-frameworks/kcompletion-6.23.0

Description

Framework for common completion tasks such as filename or URL com

Added to portage

2026-02-14

kconfig - 6.23.0

Ebuild name:

kde-frameworks/kconfig-6.23.0

Description

Framework for reading and writing configuration

Added to portage

2026-02-14

kconfigwidgets - 6.23.0

Ebuild name:

kde-frameworks/kconfigwidgets-6.23.0

Description

Framework providing an assortment of configuration-related wid

Added to portage

2026-02-14

kcontacts - 6.23.0

Ebuild name:

kde-frameworks/kcontacts-6.23.0

Description

Address book API based on KDE Frameworks

Added to portage

2026-02-14

kcoreaddons - 6.23.0

Ebuild name:

kde-frameworks/kcoreaddons-6.23.0

Description

Framework for solving common problems such as caching, randomisat

Added to portage

2026-02-14

kcrash - 6.23.0

Ebuild name:

kde-frameworks/kcrash-6.23.0

Description

Framework for intercepting and handling application crashes

Added to portage

2026-02-14

kdav - 6.23.0

Ebuild name:

kde-frameworks/kdav-6.23.0

Description

DAV protocol implemention with KJobs

Added to portage

2026-02-14

kdbusaddons - 6.23.0

Ebuild name:

kde-frameworks/kdbusaddons-6.23.0

Description

Framework for registering services and applications per freedeskt

Added to portage

2026-02-14

kdeclarative - 6.23.0

Ebuild name:

kde-frameworks/kdeclarative-6.23.0

Description

Framework providing integration of QML and KDE work spaces

Added to portage

2026-02-14

kded - 6.23.0

Ebuild name:

kde-frameworks/kded-6.23.0

Description

Central daemon of KDE workspaces

Added to portage

2026-02-14

kdesu - 6.23.0

Ebuild name:

kde-frameworks/kdesu-6.23.0

Description

Framework to handle super user actions

Added to portage

2026-02-14

kdnssd - 6.23.0

Ebuild name:

kde-frameworks/kdnssd-6.23.0

Description

Framework for network service discovery using Zeroconf

Added to portage

2026-02-14

kdoctools - 6.23.0

Ebuild name:

kde-frameworks/kdoctools-6.23.0

Description

Tools to generate documentation in various formats from DocBook fil

Added to portage

2026-02-14

kfilemetadata - 6.23.0

Ebuild name:

kde-frameworks/kfilemetadata-6.23.0

Description

Library for extracting file metadata

Added to portage

2026-02-14

kglobalaccel - 6.23.0

Ebuild name:

kde-frameworks/kglobalaccel-6.23.0

Description

Framework to handle global shortcuts

Added to portage

2026-02-14

kguiaddons - 6.23.0

Ebuild name:

kde-frameworks/kguiaddons-6.23.0

Description

Framework providing assorted high-level user interface components

Added to portage

2026-02-14

kholidays - 6.23.0

Ebuild name:

kde-frameworks/kholidays-6.23.0

Description

Library to determine holidays and other special events for a geogra

Added to portage

2026-02-14

ki18n - 6.23.0

Ebuild name:

kde-frameworks/ki18n-6.23.0

Description

Framework based on Gettext for internationalizing user interface text

Added to portage

2026-02-14

kiconthemes - 6.23.0

Ebuild name:

kde-frameworks/kiconthemes-6.23.0

Description

Framework for icon theming and configuration

Added to portage

2026-02-14

kidletime - 6.23.0

Ebuild name:

kde-frameworks/kidletime-6.23.0

Description

Framework for detection and notification of device idle time

Added to portage

2026-02-14

kimageformats - 6.23.0

Ebuild name:

kde-frameworks/kimageformats-6.23.0

Description

Framework providing additional format plugins for Qt's image I/

Added to portage

2026-02-14

kio - 6.23.0

Ebuild name:

kde-frameworks/kio-6.23.0

Description

Framework providing transparent file and data management

Added to portage

2026-02-14

kirigami - 6.23.0

Ebuild name:

kde-frameworks/kirigami-6.23.0

Description

Lightweight user interface framework for mobile and convergent appli

Added to portage

2026-02-14

kitemmodels - 6.23.0

Ebuild name:

kde-frameworks/kitemmodels-6.23.0

Description

Framework providing data models to help with tasks such as sortin

Added to portage

2026-02-14

kitemviews - 6.23.0

Ebuild name:

kde-frameworks/kitemviews-6.23.0

Description

Framework providing additional widgets for item models

Added to portage

2026-02-14

kjobwidgets - 6.23.0

Ebuild name:

kde-frameworks/kjobwidgets-6.23.0

Description

Framework providing assorted widgets for showing the progress of

Added to portage

2026-02-14

knewstuff - 6.23.0

Ebuild name:

kde-frameworks/knewstuff-6.23.0

Description

Framework for downloading and sharing additional application data

Added to portage

2026-02-14

knotifications - 6.23.0

Ebuild name:

kde-frameworks/knotifications-6.23.0

Description

Framework for notifying the user of an event

Added to portage

2026-02-14

knotifyconfig - 6.23.0

Ebuild name:

kde-frameworks/knotifyconfig-6.23.0

Description

Framework for configuring desktop notifications

Added to portage

2026-02-14

kpackage - 6.23.0

Ebuild name:

kde-frameworks/kpackage-6.23.0

Description

Framework to install and load packages of non binary content

Added to portage

2026-02-14

kparts - 6.23.0

Ebuild name:

kde-frameworks/kparts-6.23.0

Description

Framework providing elaborate user-interface components

Added to portage

2026-02-14

kpeople - 6.23.0

Ebuild name:

kde-frameworks/kpeople-6.23.0

Description

KDE contact person abstraction library

Added to portage

2026-02-14

kplotting - 6.23.0

Ebuild name:

kde-frameworks/kplotting-6.23.0

Description

Framework providing easy data-plotting functions

Added to portage

2026-02-14

kpty - 6.23.0

Ebuild name:

kde-frameworks/kpty-6.23.0

Description

Framework for pseudo terminal devices and running child processes

Added to portage

2026-02-14

rhino - 1.9.0-r1

Ebuild name:

dev-java/rhino-1.9.0-r1

Description

Rhino JavaScript runtime jar, excludes XML, tools, and ScriptEngine wrapper

Added to portage

2026-02-14

tomcat-native - 2.0.13

Ebuild name:

dev-java/tomcat-native-2.0.13

Description

Allows Tomcat to use certain native resources for better performance

Added to portage

2026-02-14

2026-02-13

astmanproxy - 1.30.0-r1

Ebuild name:

net-misc/astmanproxy-1.30.0-r1

Description

Proxy for the Asterisk manager interface

Added to portage

2026-02-13

aws-session-manager-plugin - 1.2.779.0

Ebuild name:

app-admin/aws-session-manager-plugin-1.2.779.0

Description

AWS Session Manager Plugin for aws-cli

Added to portage

2026-02-13

awscli - 1.44.38

Ebuild name:

app-admin/awscli-1.44.38

Description

Universal Command Line Environment for AWS

Added to portage

2026-02-13

awscli-bin - 2.33.21

Ebuild name:

app-admin/awscli-bin-2.33.21

Description

command line interface for Amazon Web Services

Added to portage

2026-02-13

binutils - 2.46.0

Ebuild name:

sys-devel/binutils-2.46.0

Description

Tools necessary to build programs

Added to portage

2026-02-13

binutils-hppa64 - 2.46.0

Ebuild name:

sys-devel/binutils-hppa64-2.46.0

Description

Tools necessary to build programs

Added to portage

2026-02-13

binutils-libs - 2.46.0

Ebuild name:

sys-libs/binutils-libs-2.46.0

Description

Core binutils libraries (libbfd, libopcodes, libiberty) for external

Added to portage

2026-02-13

boto3 - 1.42.48

Ebuild name:

dev-python/boto3-1.42.48

Description

The AWS SDK for Python

Added to portage

2026-02-13

botocore - 1.42.48

Ebuild name:

dev-python/botocore-1.42.48

Description

Low-level, data-driven core of boto 3

Added to portage

2026-02-13

capstone - 5.0.7

Ebuild name:

dev-libs/capstone-5.0.7

Description

disassembly/disassembler framework + bindings

Added to portage

2026-02-13

chrome-binary-plugins - 146.0.7680.0_beta

Ebuild name:

www-plugins/chrome-binary-plugins-146.0.7680.0_beta

Description

Binary plugins from Google Chrome for use in Ch

Added to portage

2026-02-13

chromium - 145.0.7632.67

Ebuild name:

www-client/chromium-145.0.7632.67

Description

Open-source version of Google Chrome web browser

Added to portage

2026-02-13

command-not-found - 0.0.7-r1

Ebuild name:

app-portage/command-not-found-0.0.7-r1

Description

Command-not-found handler for Gentoo

Added to portage

2026-02-13

cpp-httplib - 0.32.0

Ebuild name:

dev-cpp/cpp-httplib-0.32.0

Description

C++ HTTP/HTTPS server and client library

Added to portage

2026-02-13

cssselect2 - 0.9.0

Ebuild name:

dev-python/cssselect2-0.9.0

Description

Parses CSS3 Selectors and translates them to XPath 1.0

Added to portage

2026-02-13

eclipse-osgi - 4.31

Ebuild name:

dev-java/eclipse-osgi-4.31

Description

OSGi System Bundle

Added to portage

2026-02-13

ed - 1.22.5

Ebuild name:

sys-apps/ed-1.22.5

Description

Your basic line editor

Added to portage

2026-02-13

elisa - 25.12.2-r1

Ebuild name:

media-sound/elisa-25.12.2-r1

Description

Simple music player by KDE

Added to portage

2026-02-13

esbuild - 0.25.1

Ebuild name:

dev-util/esbuild-0.25.1

Description

A modern, extremely fast, JavaScript and CSS bundler and minifier

Added to portage

2026-02-13

esbuild - 0.25.2

Ebuild name:

dev-util/esbuild-0.25.2

Description

A modern, extremely fast, JavaScript and CSS bundler and minifier

Added to portage

2026-02-13

esbuild - 0.25.5

Ebuild name:

dev-util/esbuild-0.25.5

Description

A modern, extremely fast, JavaScript and CSS bundler and minifier

Added to portage

2026-02-13

esbuild - 0.27.3

Ebuild name:

dev-util/esbuild-0.27.3

Description

A modern, extremely fast, JavaScript and CSS bundler and minifier

Added to portage

2026-02-13

filelock - 3.21.2

Ebuild name:

dev-python/filelock-3.21.2

Description

A platform independent file lock for Python

Added to portage

2026-02-13

gawk - 5.3.66

Ebuild name:

sys-apps/gawk-5.3.66

Description

GNU awk pattern-matching language

Added to portage

2026-02-13

gcc - 13.4.1_p20260212

Ebuild name:

sys-devel/gcc-13.4.1_p20260212

Description

The GNU Compiler Collection

Added to portage

2026-02-13

genkernel - 4.3.17-r4

Ebuild name:

sys-kernel/genkernel-4.3.17-r4

Description

Gentoo automatic kernel building scripts

Added to portage

2026-02-13

gentoo-sources - 6.19.0

Ebuild name:

sys-kernel/gentoo-sources-6.19.0

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2026-02-13

go - 1.24.11-r1

Ebuild name:

dev-lang/go-1.24.11-r1

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2026-02-13

go - 1.24.12-r1

Ebuild name:

dev-lang/go-1.24.12-r1

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2026-02-13

go - 1.25.5-r1

Ebuild name:

dev-lang/go-1.25.5-r1

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2026-02-13

go - 1.25.6-r1

Ebuild name:

dev-lang/go-1.25.6-r1

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2026-02-13

google-chrome-beta - 146.0.7680.0

Ebuild name:

www-client/google-chrome-beta-146.0.7680.0

Description

The web browser from Google

Added to portage

2026-02-13

highs - 1.13.1

Ebuild name:

sci-mathematics/highs-1.13.1

Description

Modern solver for linear, quadratic, and mixed-integer programs

Added to portage

2026-02-13

icoutils - 0.32.3-r1

Ebuild name:

media-gfx/icoutils-0.32.3-r1

Description

Tools to extract and convert images in icon and cursor files (.ico, .c

Added to portage

2026-02-13

jakartaee-migration - 1.0.10

Ebuild name:

dev-java/jakartaee-migration-1.0.10

Description

Apache Tomcat tool for migration from Java EE 8 to Jakarta EE 9

Added to portage

2026-02-13

kasts - 25.12.2-r1

Ebuild name:

media-sound/kasts-25.12.2-r1

Description

Convergent podcast application for desktop and mobile

Added to portage

2026-02-13

kdenetwork-meta - 25.12.2-r1

Ebuild name:

kde-apps/kdenetwork-meta-25.12.2-r1

Description

kdenetwork - merge this to pull in all kdenetwork-derived packa

Added to portage

2026-02-13

kdnssd - 6.22.0-r1

Ebuild name:

kde-frameworks/kdnssd-6.22.0-r1

Description

Framework for network service discovery using Zeroconf

Added to portage

2026-02-13

kvazaar - 2.3.2

Ebuild name:

media-libs/kvazaar-2.3.2

Description

Open-source HEVC encoder

Added to portage

2026-02-13

lager - 0.1.2

Ebuild name:

dev-libs/lager-0.1.2

Description

Library to assist value-oriented design

Added to portage

2026-02-13

libreoffice-bin - 25.8.4-r1

Ebuild name:

app-office/libreoffice-bin-25.8.4-r1

Description

A full office productivity suite. Binary package

Added to portage

2026-02-13

librt - 0.8.0

Ebuild name:

dev-python/librt-0.8.0

Description

Mypyc runtime library

Added to portage

2026-02-13

libva-intel-media-driver - 26.1.1-r1

Ebuild name:

media-libs/libva-intel-media-driver-26.1.1-r1

Description

Intel Media Driver for VA-API (iHD)

Added to portage

2026-02-13

logs - 0.10.0

Ebuild name:

dev-ml/logs-0.10.0

Description

Logging infrastructure for OCaml

Added to portage

2026-02-13

lvm2 - 2.03.38

Ebuild name:

sys-fs/lvm2-2.03.38

Description

User-land utilities for LVM2 (device-mapper) software

Added to portage

2026-02-13

lyx - 2.5.0

Ebuild name:

app-office/lyx-2.5.0

Description

WYSIWYM (What You See Is What You Mean) document processor based on LaTeX

Added to portage

2026-02-13

microsoft-edge-beta - 145.0.3800.53

Ebuild name:

www-client/microsoft-edge-beta-145.0.3800.53

Description

The web browser from Microsoft

Added to portage

2026-02-13

microsoft-edge-dev - 146.0.3844.0

Ebuild name:

www-client/microsoft-edge-dev-146.0.3844.0

Description

The web browser from Microsoft

Added to portage

2026-02-13

munge - 0.5.18

Ebuild name:

sys-auth/munge-0.5.18

Description

An authentication service for creating and validating credentials

Added to portage

2026-02-13

nginx-mode - 1.1.10

Ebuild name:

app-emacs/nginx-mode-1.1.10

Description

Emacs editing mode for Nginx config files

Added to portage

2026-02-13

openpgp-keys-antoniodiazdiaz - 20260213

Ebuild name:

sec-keys/openpgp-keys-antoniodiazdiaz-20260213

Description

OpenPGP keys used by Antonio Diaz Diaz

Added to portage

2026-02-13

openssl - 3.5.5-r1

Ebuild name:

dev-libs/openssl-3.5.5-r1

Description

Robust, full-featured Open Source Toolkit for the Transport Layer Securit

Added to portage

2026-02-13

openssl - 3.6.1-r1

Ebuild name:

dev-libs/openssl-3.6.1-r1

Description

Robust, full-featured Open Source Toolkit for the Transport Layer Securit

Added to portage

2026-02-13

opera - 127.0.5778.47

Ebuild name:

www-client/opera-127.0.5778.47

Description

A fast and secure web browser

Added to portage

2026-02-13

opera-developer - 128.0.5806.0

Ebuild name:

www-client/opera-developer-128.0.5806.0

Description

A fast and secure web browser

Added to portage

2026-02-13

oxipng - 10.1.0

Ebuild name:

media-gfx/oxipng-10.1.0

Description

Multithreaded lossless PNG compression optimizer written in Rust

Added to portage

2026-02-13

pbs-installer - 2026.2.11

Ebuild name:

dev-python/pbs-installer-2026.2.11

Description

Installer for Python Build Standalone

Added to portage

2026-02-13

pf-sources - 6.19_p1

Ebuild name:

sys-kernel/pf-sources-6.19_p1

Description

Added to portage

2026-02-13

php - 8.4.18

Ebuild name:

dev-lang/php-8.4.18

Description

The PHP language runtime engine

Added to portage

2026-02-13

php - 8.5.3

Ebuild name:

dev-lang/php-8.5.3

Description

The PHP language runtime engine

Added to portage

2026-02-13

picard - 3.0.0_alpha2

Ebuild name:

media-sound/picard-3.0.0_alpha2

Description

Cross-platform music tagger

Added to portage

2026-02-13

platformdirs - 4.7.0

Ebuild name:

dev-python/platformdirs-4.7.0

Description

A small Python module for determining appropriate platform-specific d

Added to portage

2026-02-13

postgis - 3.3.9

Ebuild name:

dev-db/postgis-3.3.9

Description

Geographic Objects for PostgreSQL

Added to portage

2026-02-13

postgis - 3.4.5

Ebuild name:

dev-db/postgis-3.4.5

Description

Geographic Objects for PostgreSQL

Added to portage

2026-02-13

postgis - 3.5.5

Ebuild name:

dev-db/postgis-3.5.5

Description

Geographic Objects for PostgreSQL

Added to portage

2026-02-13

postgis - 3.6.2

Ebuild name:

dev-db/postgis-3.6.2

Description

Geographic Objects for PostgreSQL

Added to portage

2026-02-13

pyproject-fmt - 2.16.0

Ebuild name:

dev-python/pyproject-fmt-2.16.0

Description

Format your pyproject.toml file

Added to portage

2026-02-13

pythia - 8.3.17

Ebuild name:

sci-physics/pythia-8.3.17

Description

Lund Monte Carlo high-energy physics event generator

Added to portage

2026-02-13

reportlab - 4.4.10

Ebuild name:

dev-python/reportlab-4.4.10

Description

Tools for generating printable PDF documents from any data source

Added to portage

2026-02-13

ruffle - 0_p20260213

Ebuild name:

app-emulation/ruffle-0_p20260213

Description

Flash Player emulator written in Rust

Added to portage

2026-02-13

rust - 1.93.1

Ebuild name:

dev-lang/rust-1.93.1

Description

Systems programming language originally developed by Mozilla

Added to portage

2026-02-13

rust-bin - 1.93.1

Ebuild name:

dev-lang/rust-bin-1.93.1

Description

Added to portage

2026-02-13

rust-common - 1.93.1

Ebuild name:

dev-lang/rust-common-1.93.1

Description

Common files shared between multiple slots of Rust

Added to portage

2026-02-13

rust-std - 1.93.1

Ebuild name:

sys-devel/rust-std-1.93.1

Description

Rust standard library, standalone (for crossdev)

Added to portage

2026-02-13

samba - 4.23.5

Ebuild name:

net-fs/samba-4.23.5

Description

Samba Suite Version 4

Added to portage

2026-02-13

socat - 1.8.1.1

Ebuild name:

net-misc/socat-1.8.1.1

Description

Multipurpose relay (SOcket CAT)

Added to portage

2026-02-13

spyder - 6.1.3

Ebuild name:

dev-python/spyder-6.1.3

Description

The Scientific Python Development Environment

Added to portage

2026-02-13

sqlitebrowser - 3.13.1_p20250502-r2

Ebuild name:

dev-db/sqlitebrowser-3.13.1_p20250502-r2

Description

Light GUI editor for SQLite databases

Added to portage

2026-02-13

tint2 - 17.0.2-r1

Ebuild name:

x11-misc/tint2-17.0.2-r1

Description

Lightweight panel/taskbar for Linux

Added to portage

2026-02-13

tor - 0.4.9.5

Ebuild name:

net-vpn/tor-0.4.9.5

Description

Anonymizing overlay network for TCP

Added to portage

2026-02-13

tor - 0.4.9.5-r1

Ebuild name:

net-vpn/tor-0.4.9.5-r1

Description

Anonymizing overlay network for TCP

Added to portage

2026-02-13

tox - 4.35.0

Ebuild name:

dev-python/tox-4.35.0

Description

virtualenv-based automation of test activities

Added to portage

2026-02-13

ttl - 0.17.0

Ebuild name:

net-analyzer/ttl-0.17.0

Description

Modern traceroute/mtr-style TUI with hop stats and optional ASN/geo enrichm

Added to portage

2026-02-13

vanilla-sources - 6.19.0

Ebuild name:

sys-kernel/vanilla-sources-6.19.0

Description

Full sources for the Linux kernel

Added to portage

2026-02-13

yaml-cpp - 0.9.0

Ebuild name:

dev-cpp/yaml-cpp-0.9.0

Description

YAML parser and emitter in C++

Added to portage

2026-02-13

yarock - 1.5.1-r1

Ebuild name:

media-sound/yarock-1.5.1-r1

Description

Qt-based music player

Added to portage

2026-02-13

z3 - 4.15.8

Ebuild name:

sci-mathematics/z3-4.15.8

Description

An efficient theorem prover

Added to portage

2026-02-13

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