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:

70228

userrating:

average rating: 1.2 (8 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

Details of sci-mathematics/why3:

Description: Platform for deductive program verification
Homepage: https://why3.lri.fr/

available versions:

releases	alpha	amd64	arm	hppa	ia64	mips	ppc	ppc64	ppc macos	s390	sh	sparc	x86	USE-Flags	dependencies	ebuild warnings
why3-1.7.2	-	~	-	-	-	-	-	-	-	-	-	-	-	coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip	show	show
why3-1.6.0	-	~	-	-	-	-	-	-	-	-	-	-	-	coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip	show	show

Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Known bugs:
no bugs found.

back

New Packages

- as

- as

2024-11-21

aiohttp-socks - 0.9.1

Ebuild name:

dev-python/aiohttp-socks-0.9.1

Description

SOCKS proxy connector for aiohttp

Added to portage

2024-11-21

awscli - 1.36.7

Ebuild name:

app-admin/awscli-1.36.7

Description

Universal Command Line Environment for AWS

Added to portage

2024-11-21

boto3 - 1.35.66

Ebuild name:

dev-python/boto3-1.35.66

Description

The AWS SDK for Python

Added to portage

2024-11-21

botocore - 1.35.66

Ebuild name:

dev-python/botocore-1.35.66

Description

Low-level, data-driven core of boto 3

Added to portage

2024-11-21

chromium - 132.0.6834.15

Ebuild name:

www-client/chromium-132.0.6834.15

Description

Open-source version of Google Chrome web browser

Added to portage

2024-11-21

cliff - 4.8.0

Ebuild name:

dev-python/cliff-4.8.0

Description

Command Line Interface Formulation Framework

Added to portage

2024-11-21

cysignals - 1.12.0

Ebuild name:

dev-python/cysignals-1.12.0

Description

Interrupt and signal handling for Cython

Added to portage

2024-11-21

element-desktop-bin - 1.11.86

Ebuild name:

net-im/element-desktop-bin-1.11.86

Description

A glossy Matrix collaboration client for desktop (binary package

Added to portage

2024-11-21

ensurepip-setuptools - 75.6.0

Ebuild name:

dev-python/ensurepip-setuptools-75.6.0

Description

Shared setuptools wheel for ensurepip Python module

Added to portage

2024-11-21

environs - 11.2.1

Ebuild name:

dev-python/environs-11.2.1

Description

Python library for simplified environment variable parsing

Added to portage

2024-11-21

google-api-python-client - 2.154.0

Ebuild name:

dev-python/google-api-python-client-2.154.0

Description

Google API Client for Python

Added to portage

2024-11-21

hyprland - 0.45.2

Ebuild name:

gui-wm/hyprland-0.45.2

Description

A dynamic tiling Wayland compositor that doesn't sacrifice on its looks

Added to portage

2024-11-21

mattermost-desktop-bin - 5.10.1

Ebuild name:

net-im/mattermost-desktop-bin-5.10.1

Description

Mattermost Desktop application

Added to portage

2024-11-21

mattermost-desktop-bin - 5.9.1

Ebuild name:

net-im/mattermost-desktop-bin-5.9.1

Description

Mattermost Desktop application

Added to portage

2024-11-21

mkdocs-material - 9.5.45

Ebuild name:

dev-python/mkdocs-material-9.5.45

Description

A Material Design theme for MkDocs

Added to portage

2024-11-21

nvidia-drivers - 550.135

Ebuild name:

x11-drivers/nvidia-drivers-550.135

Description

NVIDIA Accelerated Graphics Driver

Added to portage

2024-11-21

osc-lib - 3.2.0

Ebuild name:

dev-python/osc-lib-3.2.0

Description

A package of common support modules for writing OSC plugins

Added to portage

2024-11-21

oslo-log - 6.2.0

Ebuild name:

dev-python/oslo-log-6.2.0

Description

OpenStack logging config library, configuration for all openstack project

Added to portage

2024-11-21

powerline - 2.5_p20221110

Ebuild name:

app-emacs/powerline-2.5_p20221110

Description

GNU Emacs version of the Vim powerline

Added to portage

2024-11-21

powershell - 0.3_pre20220402

Ebuild name:

app-emacs/powershell-0.3_pre20220402

Description

GNU Emacs mode for editing and running PowerShell code

Added to portage

2024-11-21

pydantic - 2.10.0

Ebuild name:

dev-python/pydantic-2.10.0

Description

Data parsing and validation using Python type hints

Added to portage

2024-11-21

qiskit - 1.3.0_rc2

Ebuild name:

dev-python/qiskit-1.3.0_rc2

Description

An open-source SDK for working with quantum computers

Added to portage

2024-11-21

qstylizer - 0.2.4

Ebuild name:

dev-python/qstylizer-0.2.4

Description

Stylesheet Generator for PyQt5/PySide2

Added to portage

2024-11-21

s3transfer - 0.10.4

Ebuild name:

dev-python/s3transfer-0.10.4

Description

An Amazon S3 Transfer Manager

Added to portage

2024-11-21

setuptools - 75.6.0

Ebuild name:

dev-python/setuptools-75.6.0

Description

Collection of extensions to Distutils

Added to portage

2024-11-21

simsimd - 6.1.1

Ebuild name:

dev-python/simsimd-6.1.1

Description

Fastest SIMD-Accelerated Vector Similarity Functions for x86 and Arm

Added to portage

2024-11-21

spdx_licenses - 1.2.0

Ebuild name:

dev-ml/spdx_licenses-1.2.0

Description

A library providing a strict SPDX License Expression parser

Added to portage

2024-11-21

stevedore - 5.4.0

Ebuild name:

dev-python/stevedore-5.4.0

Description

Manage dynamic plugins for Python applications

Added to portage

2024-11-21

stripe - 11.3.0

Ebuild name:

dev-python/stripe-11.3.0

Description

Stripe Python bindings

Added to portage

2024-11-21

swhid_core - 0.1

Ebuild name:

dev-ml/swhid_core-0.1

Description

OCaml library to work with swhids

Added to portage

2024-11-21

uvicorn - 0.32.1

Ebuild name:

dev-python/uvicorn-0.32.1

Description

Lightning-fast ASGI server implementation

Added to portage

2024-11-21

vivaldi - 7.0.3495.15

Ebuild name:

www-client/vivaldi-7.0.3495.15

Description

A browser for our friends

Added to portage

2024-11-21

vivaldi-snapshot - 7.1.3527.3

Ebuild name:

www-client/vivaldi-snapshot-7.1.3527.3

Description

A browser for our friends

Added to portage

2024-11-21

zenlib - 2.4.1

Ebuild name:

dev-python/zenlib-2.4.1

Description

Useful python decorators and utilities

Added to portage

2024-11-21

zoom - 6.2.10.4983

Ebuild name:

net-im/zoom-6.2.10.4983

Description

Video conferencing and web conferencing service

Added to portage

2024-11-21

2024-11-20

aiohttp - 3.11.6

Ebuild name:

dev-python/aiohttp-3.11.6

Description

HTTP client/server for asyncio

Added to portage

2024-11-20

android-udev-rules - 20241109

Ebuild name:

dev-util/android-udev-rules-20241109

Description

Android udev rules list aimed to be the most comprehensive on

Added to portage

2024-11-20

ansible - 11.0.0

Ebuild name:

app-admin/ansible-11.0.0

Description

Model-driven deployment, config management, and command execution framewor

Added to portage

2024-11-20

ansible-core - 2.18.0

Ebuild name:

app-admin/ansible-core-2.18.0

Description

Model-driven deployment, config management, and command execution fra

Added to portage

2024-11-20

awscli - 1.36.6

Ebuild name:

app-admin/awscli-1.36.6

Description

Universal Command Line Environment for AWS

Added to portage

2024-11-20

bcrypt - 4.2.1

Ebuild name:

dev-python/bcrypt-4.2.1

Description

Modern password hashing for software and servers

Added to portage

2024-11-20

boto3 - 1.35.65

Ebuild name:

dev-python/boto3-1.35.65

Description

The AWS SDK for Python

Added to portage

2024-11-20

botocore - 1.35.65

Ebuild name:

dev-python/botocore-1.35.65

Description

Low-level, data-driven core of boto 3

Added to portage

2024-11-20

cake - 5.0.0

Ebuild name:

dev-dotnet/cake-5.0.0

Description

Cake (C Make) is a cross platform build automation system with a C DSL

Added to portage

2024-11-20

chrome-binary-plugins - 131.0.6778.85

Ebuild name:

www-plugins/chrome-binary-plugins-131.0.6778.85

Description

Binary plugins from Google Chrome for use in Chromi

Added to portage

2024-11-20

chrome-binary-plugins - 133.0.6835.3_alpha

Ebuild name:

www-plugins/chrome-binary-plugins-133.0.6835.3_alpha

Description

Binary plugins from Google Chrome for use in C

Added to portage

2024-11-20

chromedriver-bin - 131.0.6778.85

Ebuild name:

www-apps/chromedriver-bin-131.0.6778.85

Description

WebDriver for Chrome

Added to portage

2024-11-20

chromium - 131.0.6778.85

Ebuild name:

www-client/chromium-131.0.6778.85

Description

Open-source version of Google Chrome web browser

Added to portage

2024-11-20

clang - 19.1.4

Ebuild name:

sys-devel/clang-19.1.4

Description

C language family frontend for LLVM

Added to portage

2024-11-20

clang-common - 19.1.4

Ebuild name:

sys-devel/clang-common-19.1.4

Description

Common files shared between multiple slots of clang

Added to portage

2024-11-20

clang-python - 19.1.4

Ebuild name:

dev-python/clang-python-19.1.4

Description

Python bindings for sys-devel/clang

Added to portage

2024-11-20

clang-runtime - 19.1.4

Ebuild name:

sys-devel/clang-runtime-19.1.4

Description

Meta-ebuild for clang runtime libraries

Added to portage

2024-11-20

compiler-rt - 19.1.4

Ebuild name:

sys-libs/compiler-rt-19.1.4

Description

Compiler runtime library for clang (built-in part)

Added to portage

2024-11-20

compiler-rt-sanitizers - 19.1.4

Ebuild name:

sys-libs/compiler-rt-sanitizers-19.1.4

Description

Compiler runtime libraries for clang (sanitizers & xray)

Added to portage

2024-11-20

dnsruby - 1.72.3

Ebuild name:

dev-ruby/dnsruby-1.72.3

Description

A pure Ruby DNS client library

Added to portage

2024-11-20

dotnet-runtime-nugets - 6.0.36

Ebuild name:

dev-dotnet/dotnet-runtime-nugets-6.0.36

Description

.NET runtime nugets

Added to portage

2024-11-20

dotnet-runtime-nugets - 8.0.11

Ebuild name:

dev-dotnet/dotnet-runtime-nugets-8.0.11

Description

.NET runtime nugets

Added to portage

2024-11-20

dotnet-runtime-nugets - 9.0.0

Ebuild name:

dev-dotnet/dotnet-runtime-nugets-9.0.0

Description

.NET runtime nugets

Added to portage

2024-11-20

dotnet-sdk - 9.0

Ebuild name:

virtual/dotnet-sdk-9.0

Description

Virtual for .NET SDK

Added to portage

2024-11-20

dotnet-sdk-bin - 9.0.100

Ebuild name:

dev-dotnet/dotnet-sdk-bin-9.0.100

Description

.NET is a free, cross-platform, open-source developer platform

Added to portage

2024-11-20

freecad - 1.0.0

Ebuild name:

media-gfx/freecad-1.0.0

Description

QT based Computer Aided Design application

Added to portage

2024-11-20

google-chrome - 131.0.6778.85

Ebuild name:

www-client/google-chrome-131.0.6778.85

Description

The web browser from Google

Added to portage

2024-11-20

google-chrome-unstable - 133.0.6835.3

Ebuild name:

www-client/google-chrome-unstable-133.0.6835.3

Description

The web browser from Google

Added to portage

2024-11-20

google-drive-ocamlfuse - 0.7.32

Ebuild name:

sys-fs/google-drive-ocamlfuse-0.7.32

Description

FUSE filesystem over Google Drive

Added to portage

2024-11-20

hidapi - 0.14.0_p4

Ebuild name:

dev-python/hidapi-0.14.0_p4

Description

A Cython interface to HIDAPI library

Added to portage

2024-11-20

kgcc64 - 12.4.1_p20241114

Ebuild name:

sys-devel/kgcc64-12.4.1_p20241114

Description

64bit kernel compiler

Added to portage

2024-11-20

kgcc64 - 13.3.1_p20241115

Ebuild name:

sys-devel/kgcc64-13.3.1_p20241115

Description

64bit kernel compiler

Added to portage

2024-11-20

libclc - 19.1.4

Ebuild name:

dev-libs/libclc-19.1.4

Description

OpenCL C library

Added to portage

2024-11-20

libcxx - 19.1.4

Ebuild name:

sys-libs/libcxx-19.1.4

Description

New implementation of the C++ standard library, targeting C++11

Added to portage

2024-11-20

libcxxabi - 19.1.4

Ebuild name:

sys-libs/libcxxabi-19.1.4

Description

Low level support for a standard C++ library

Added to portage

2024-11-20

libinput - 1.27.0

Ebuild name:

dev-libs/libinput-1.27.0

Description

Library to handle input devices in Wayland

Added to portage

2024-11-20

libomp - 19.1.4

Ebuild name:

sys-libs/libomp-19.1.4

Description

OpenMP runtime library for LLVM/clang compiler

Added to portage

2024-11-20

lit - 19.1.4

Ebuild name:

dev-python/lit-19.1.4

Description

A stand-alone install of the LLVM suite testing tool

Added to portage

2024-11-20

lld - 19.1.4

Ebuild name:

sys-devel/lld-19.1.4

Description

The LLVM linker (link editor)

Added to portage

2024-11-20

lldb - 19.1.4

Ebuild name:

dev-debug/lldb-19.1.4

Description

The LLVM debugger

Added to portage

2024-11-20

llvm - 19.1.4

Ebuild name:

sys-devel/llvm-19.1.4

Description

Low Level Virtual Machine

Added to portage

2024-11-20

llvm-common - 19.1.4

Ebuild name:

sys-devel/llvm-common-19.1.4

Description

Common files shared between multiple slots of LLVM

Added to portage

2024-11-20

llvm-libunwind - 19.1.4

Ebuild name:

sys-libs/llvm-libunwind-19.1.4

Description

C++ runtime stack unwinder from LLVM

Added to portage

2024-11-20

llvm-ocaml - 19.1.4

Ebuild name:

dev-ml/llvm-ocaml-19.1.4

Description

OCaml bindings for LLVM

Added to portage

2024-11-20

microsoft-edge - 131.0.2903.51

Ebuild name:

www-client/microsoft-edge-131.0.2903.51

Description

The web browser from Microsoft

Added to portage

2024-11-20

microsoft-edge-beta - 131.0.2903.48

Ebuild name:

www-client/microsoft-edge-beta-131.0.2903.48

Description

The web browser from Microsoft

Added to portage

2024-11-20

microsoft-edge-beta - 131.0.2903.51

Ebuild name:

www-client/microsoft-edge-beta-131.0.2903.51

Description

The web browser from Microsoft

Added to portage

2024-11-20

microsoft-identity-broker - 2.0.1_p2

Ebuild name:

sys-auth/microsoft-identity-broker-2.0.1_p2

Description

Microsoft Authentication Broker to access a corporate e

Added to portage

2024-11-20

ocamlfuse - 2.7.1_p11

Ebuild name:

dev-ml/ocamlfuse-2.7.1_p11

Description

OCaml binding for fuse

Added to portage

2024-11-20

opera-beta - 115.0.5322.58

Ebuild name:

www-client/opera-beta-115.0.5322.58

Description

A fast and secure web browser

Added to portage

2024-11-20

opera-developer - 116.0.5356.0

Ebuild name:

www-client/opera-developer-116.0.5356.0

Description

A fast and secure web browser

Added to portage

2024-11-20

oslo-config - 9.7.0

Ebuild name:

dev-python/oslo-config-9.7.0

Description

Oslo Configuration API

Added to portage

2024-11-20

oslo-context - 5.7.0

Ebuild name:

dev-python/oslo-context-5.7.0

Description

Helpers to maintain useful information about a request context

Added to portage

2024-11-20

oslo-i18n - 6.5.0

Ebuild name:

dev-python/oslo-i18n-6.5.0

Description

Oslo i18n library

Added to portage

2024-11-20

oslo-serialization - 5.6.0

Ebuild name:

dev-python/oslo-serialization-5.6.0

Description

Oslo Serialization library

Added to portage

2024-11-20

patch - 2.7.6-r6

Ebuild name:

sys-devel/patch-2.7.6-r6

Description

Utility to apply diffs to files

Added to portage

2024-11-20

powerline - 2.5_p20221110

Ebuild name:

app-emacs/powerline-2.5_p20221110

Description

GNU Emacs version of the Vim powerline

Added to portage

2024-11-20

powershell - 0.3_pre20220402

Ebuild name:

app-emacs/powershell-0.3_pre20220402

Description

GNU Emacs mode for editing and running PowerShell code

Added to portage

2024-11-20

powershell - 0.3_pre20220805

Ebuild name:

app-emacs/powershell-0.3_pre20220805

Description

GNU Emacs mode for editing and running PowerShell code

Added to portage

2024-11-20

projectile - 2.8.0-r1

Ebuild name:

app-emacs/projectile-2.8.0-r1

Description

A project interaction library for Emacs

Added to portage

2024-11-20

proofgeneral - 4.5

Ebuild name:

app-emacs/proofgeneral-4.5

Description

A generic interface for proof assistants

Added to portage

2024-11-20

protbuf - 1.7-r1

Ebuild name:

app-emacs/protbuf-1.7-r1

Description

Protect Emacs buffers from accidental killing

Added to portage

2024-11-20

puppet - 8.10.0

Ebuild name:

app-admin/puppet-8.10.0

Description

A system automation and configuration management software

Added to portage

2024-11-20

puppet-agent - 8.10.0

Ebuild name:

app-admin/puppet-agent-8.10.0

Description

general puppet client utils along with hiera and facter

Added to portage

2024-11-20

puppetdb - 8.8.1

Ebuild name:

app-admin/puppetdb-8.8.1

Description

PuppetDB collects data generated by Puppet

Added to portage

2024-11-20

puppetdb-termini - 8.8.1

Ebuild name:

dev-ruby/puppetdb-termini-8.8.1

Description

Library needed to connect puppet to puppetdb

Added to portage

2024-11-20

puppetserver - 8.7.0

Ebuild name:

app-admin/puppetserver-8.7.0

Description

Puppet Server is the next-generation application for managing Puppet a

Added to portage

2024-11-20

pykka - 4.1.1

Ebuild name:

dev-python/pykka-4.1.1

Description

A Python implementation of the actor model

Added to portage

2024-11-20

pytest-rerunfailures - 15.0

Ebuild name:

dev-python/pytest-rerunfailures-15.0

Description

pytest plugin to re-run tests to eliminate flaky failures

Added to portage

2024-11-20

python - 3.14.0_alpha2

Ebuild name:

dev-lang/python-3.14.0_alpha2

Description

An interpreted, interactive, object-oriented programming language

Added to portage

2024-11-20

python - 3.14.0_alpha2-r100

Ebuild name:

dev-lang/python-3.14.0_alpha2-r100

Description

Freethreading (no-GIL) version of Python programming language

Added to portage

2024-11-20

rdoc - 6.8.1

Ebuild name:

dev-ruby/rdoc-6.8.1

Description

An extended version of the RDoc library from Ruby 1.8

Added to portage

2024-11-20

rwhoisd - 1.5.9.6_p2

Ebuild name:

net-misc/rwhoisd-1.5.9.6_p2

Description

ARIN rwhois daemon

Added to portage

2024-11-20

simsimd - 6.0.7

Ebuild name:

dev-python/simsimd-6.0.7

Description

Fastest SIMD-Accelerated Vector Similarity Functions for x86 and Arm

Added to portage

2024-11-20

slade - 3.2.4-r1

Ebuild name:

games-util/slade-3.2.4-r1

Description

Modern editor for Doom-engine based games and source ports

Added to portage

2024-11-20

sourcegit - 8.39

Ebuild name:

dev-vcs/sourcegit-8.39

Description

Open Source Git GUI client using .NET AvaloniaUI

Added to portage

2024-11-20

sys-uname - 1.3.1

Ebuild name:

dev-ruby/sys-uname-1.3.1

Description

A Ruby interface for getting operating system information

Added to portage

2024-11-20

thunderbird - 128.4.4

Ebuild name:

mail-client/thunderbird-128.4.4

Description

Thunderbird Mail Client

Added to portage

2024-11-20

thunderbird-bin - 128.4.4

Ebuild name:

mail-client/thunderbird-bin-128.4.4

Description

Thunderbird Mail Client

Added to portage

2024-11-20

types-setuptools - 75.5.0.20241122

Ebuild name:

dev-python/types-setuptools-75.5.0.20241122

Description

Typing stubs for setuptools

Added to portage

2024-11-20

ugrd - 1.27.2

Ebuild name:

sys-kernel/ugrd-1.27.2

Description

Python based initramfs generator with TOML defintions

Added to portage

2024-11-20

ugrd - 1.28.2

Ebuild name:

sys-kernel/ugrd-1.28.2

Description

Python based initramfs generator with TOML defintions

Added to portage

2024-11-20

uv - 0.5.3

Ebuild name:

dev-python/uv-0.5.3

Description

A Python package installer and resolver, written in Rust

Added to portage

2024-11-20

why3 - 1.7.2

Ebuild name:

sci-mathematics/why3-1.7.2

Description

Platform for deductive program verification

Added to portage

2024-11-20

- Powered by

- Running on

- Level Triple-A Conformance to Web Content Accessibility Guidelines 1.0 -
- Copyright and legal notices -
Time to create this page: 36.5 ms