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

search text in:




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



Last additions:
How to make X listen on port 6000

How to make X listen on port 6000

words:

34

views:

70214

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

77

Website translation planned
Apr, 10th. 2007:
Words

63

Compile Time Estimator integrated into genlop
Druckversion . pdf icon
You are here: Portage


Details of sci-mathematics/why3-for-spark:

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

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
why3-for-spark-2021-r1 -+-----------coq
doc
emacs
gtk
html
hypothesis-selection
+ocamlopt
sexp
zarith
zip
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.


back



Support us on Content Nation

New Packages

- as rdf newsfeed
- as rss newsfeed
- as Atom newsfeed
2024-11-19
Nuitka - 2.5.1
Ebuild name:

dev-python/Nuitka-2.5.1

Description

Python to native compiler

Added to portage

2024-11-19

aiohttp - 3.11.3
Ebuild name:

dev-python/aiohttp-3.11.3

Description

HTTP client/server for asyncio

Added to portage

2024-11-19

awscli - 1.36.5
Ebuild name:

app-admin/awscli-1.36.5

Description

Universal Command Line Environment for AWS

Added to portage

2024-11-19

boto3 - 1.35.64
Ebuild name:

dev-python/boto3-1.35.64

Description

The AWS SDK for Python

Added to portage

2024-11-19

botocore - 1.35.64
Ebuild name:

dev-python/botocore-1.35.64

Description

Low-level, data-driven core of boto 3

Added to portage

2024-11-19

cfn-lint - 1.20.0
Ebuild name:

dev-python/cfn-lint-1.20.0

Description

CloudFormation Linter

Added to portage

2024-11-19

clang - 20.0.0_pre20241118
Ebuild name:

sys-devel/clang-20.0.0_pre20241118

Description

C language family frontend for LLVM

Added to portage

2024-11-19

clang-common - 20.0.0_pre20241118
Ebuild name:

sys-devel/clang-common-20.0.0_pre20241118

Description

Common files shared between multiple slots of clang

Added to portage

2024-11-19

clang-python - 20.0.0_pre20241118
Ebuild name:

dev-python/clang-python-20.0.0_pre20241118

Description

Python bindings for sys-devel/clang

Added to portage

2024-11-19

clang-runtime - 20.0.0_pre20241118
Ebuild name:

sys-devel/clang-runtime-20.0.0_pre20241118

Description

Meta-ebuild for clang runtime libraries

Added to portage

2024-11-19

cleo - 2.2.1
Ebuild name:

dev-python/cleo-2.2.1

Description

Python tool for building testable command-line interfaces

Added to portage

2024-11-19

compiler-rt - 20.0.0_pre20241118
Ebuild name:

sys-libs/compiler-rt-20.0.0_pre20241118

Description

Compiler runtime library for clang (built-in part)

Added to portage

2024-11-19

compiler-rt-sanitizers - 20.0.0_pre20241118
Ebuild name:

sys-libs/compiler-rt-sanitizers-20.0.0_pre20241118

Description

Compiler runtime libraries for clang (sanitizers

Added to portage

2024-11-19

go - 1.22.9
Ebuild name:

dev-lang/go-1.22.9

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2024-11-19

go - 1.23.3
Ebuild name:

dev-lang/go-1.23.3

Description

A concurrent garbage collected and typesafe programming language

Added to portage

2024-11-19

hyprland - 0.45.1
Ebuild name:

gui-wm/hyprland-0.45.1

Description

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

Added to portage

2024-11-19

kwin - 6.2.3-r1
Ebuild name:

kde-plasma/kwin-6.2.3-r1

Description

Flexible, composited Window Manager for windowing systems on Linux

Added to portage

2024-11-19

libclc - 20.0.0_pre20241118
Ebuild name:

dev-libs/libclc-20.0.0_pre20241118

Description

OpenCL C library

Added to portage

2024-11-19

libcst - 1.5.1
Ebuild name:

dev-python/libcst-1.5.1

Description

A concrete syntax tree with AST-like properties for Python

Added to portage

2024-11-19

libcxx - 20.0.0_pre20241118
Ebuild name:

sys-libs/libcxx-20.0.0_pre20241118

Description

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

Added to portage

2024-11-19

libcxxabi - 20.0.0_pre20241118
Ebuild name:

sys-libs/libcxxabi-20.0.0_pre20241118

Description

Low level support for a standard C++ library

Added to portage

2024-11-19

libksysguard - 6.2.3-r1
Ebuild name:

kde-plasma/libksysguard-6.2.3-r1

Description

Task management and system monitoring library

Added to portage

2024-11-19

libomp - 20.0.0_pre20241118
Ebuild name:

sys-libs/libomp-20.0.0_pre20241118

Description

OpenMP runtime library for LLVM/clang compiler

Added to portage

2024-11-19

lit - 20.0.0_pre20241118
Ebuild name:

dev-python/lit-20.0.0_pre20241118

Description

A stand-alone install of the LLVM suite testing tool

Added to portage

2024-11-19

lld - 20.0.0_pre20241118
Ebuild name:

sys-devel/lld-20.0.0_pre20241118

Description

The LLVM linker (link editor)

Added to portage

2024-11-19

lldb - 20.0.0_pre20241118
Ebuild name:

dev-debug/lldb-20.0.0_pre20241118

Description

The LLVM debugger

Added to portage

2024-11-19

llvm - 20.0.0_pre20241118
Ebuild name:

sys-devel/llvm-20.0.0_pre20241118

Description

Low Level Virtual Machine

Added to portage

2024-11-19

llvm-common - 20.0.0_pre20241118
Ebuild name:

sys-devel/llvm-common-20.0.0_pre20241118

Description

Common files shared between multiple slots of LLVM

Added to portage

2024-11-19

llvm-libunwind - 20.0.0_pre20241118
Ebuild name:

sys-libs/llvm-libunwind-20.0.0_pre20241118

Description

C++ runtime stack unwinder from LLVM

Added to portage

2024-11-19

llvm-ocaml - 20.0.0_pre20241118
Ebuild name:

dev-ml/llvm-ocaml-20.0.0_pre20241118

Description

OCaml bindings for LLVM

Added to portage

2024-11-19

macopix - 3.4.0-r1
Ebuild name:

x11-misc/macopix-3.4.0-r1

Description

MaCoPiX (Mascot Constructive Pilot for X) is a desktop mascot application

Added to portage

2024-11-19

opentelemetry-api - 1.28.2
Ebuild name:

dev-python/opentelemetry-api-1.28.2

Description

OpenTelemetry Python API

Added to portage

2024-11-19

opentelemetry-sdk - 1.28.2
Ebuild name:

dev-python/opentelemetry-sdk-1.28.2

Description

OpenTelemetry Python SDK

Added to portage

2024-11-19

opentelemetry-semantic-conventions - 1.28.2
Ebuild name:

dev-python/opentelemetry-semantic-conventions-1.28.2

Description

OpenTelemetry Semantic Conventions

Added to portage

2024-11-19

plasma-desktop - 6.2.3-r1
Ebuild name:

kde-plasma/plasma-desktop-6.2.3-r1

Description

KDE Plasma desktop

Added to portage

2024-11-19

plasma-pa - 6.2.3-r1
Ebuild name:

kde-plasma/plasma-pa-6.2.3-r1

Description

Plasma applet for audio volume management using PulseAudio

Added to portage

2024-11-19

plasma-workspace - 6.2.3-r1
Ebuild name:

kde-plasma/plasma-workspace-6.2.3-r1

Description

KDE Plasma workspace

Added to portage

2024-11-19

portalocker - 3.0.0
Ebuild name:

dev-python/portalocker-3.0.0

Description

A library for Python file locking

Added to portage

2024-11-19

powerdevil - 6.2.3-r1
Ebuild name:

kde-plasma/powerdevil-6.2.3-r1

Description

Power management for KDE Plasma Shell

Added to portage

2024-11-19

print-manager - 6.2.3-r1
Ebuild name:

kde-plasma/print-manager-6.2.3-r1

Description

Manage CUPS print jobs and printers in Plasma

Added to portage

2024-11-19

prowlarr-bin - 1.26.1.4844
Ebuild name:

www-apps/prowlarr-bin-1.26.1.4844

Description

An indexer manager/proxy to integrate with your various PVR apps

Added to portage

2024-11-19

pytest-httpx - 0.34.0
Ebuild name:

dev-python/pytest-httpx-0.34.0

Description

Send responses to HTTPX using pytest

Added to portage

2024-11-19

python-mode - 6.3.0
Ebuild name:

app-emacs/python-mode-6.3.0

Description

An Emacs major mode for editing Python source

Added to portage

2024-11-19

radarr-bin - 5.15.1.9463
Ebuild name:

www-apps/radarr-bin-5.15.1.9463

Description

A fork of Sonarr to work with movies a la Couchpotato

Added to portage

2024-11-19

signal-cli-bin - 0.13.9
Ebuild name:

net-im/signal-cli-bin-0.13.9

Description

Send and receive messages of Signal Messenger over a command line inte

Added to portage

2024-11-19

simsimd - 6.0.6
Ebuild name:

dev-python/simsimd-6.0.6

Description

Fastest SIMD-Accelerated Vector Similarity Functions for x86 and Arm

Added to portage

2024-11-19

sonarr-bin - 4.0.10.2656
Ebuild name:

www-apps/sonarr-bin-4.0.10.2656

Description

Sonarr is a Smart PVR for newsgroup and bittorrent users

Added to portage

2024-11-19

spawn - 0.17.0
Ebuild name:

dev-ml/spawn-0.17.0

Description

Spawning sub-processes

Added to portage

2024-11-19

ydiff - 1.4.2
Ebuild name:

dev-util/ydiff-1.4.2

Description

Colored, side-by-side diff terminal viewer (ex. cdiff)

Added to portage

2024-11-19

yq-go - 4.44.5
Ebuild name:

app-misc/yq-go-4.44.5

Description

yq is a lightweight and portable command-line YAML, JSON and XML processor

Added to portage

2024-11-19

2024-11-18
apsw - 3.47.0.0
Ebuild name:

dev-python/apsw-3.47.0.0

Description

APSW - Another Python SQLite Wrapper

Added to portage

2024-11-18

bear - 3.1.4-r2
Ebuild name:

dev-util/bear-3.1.4-r2

Description

Build EAR generates a compilation database for clang tooling

Added to portage

2024-11-18

bear - 3.1.5
Ebuild name:

dev-util/bear-3.1.5

Description

Build EAR generates a compilation database for clang tooling

Added to portage

2024-11-18

dante - 1.4.3
Ebuild name:

net-proxy/dante-1.4.3

Description

A free socks4,5 and msproxy implementation

Added to portage

2024-11-18

db - 5.3.28-r11
Ebuild name:

sys-libs/db-5.3.28-r11

Description

Oracle Berkeley DB

Added to portage

2024-11-18

dist-kernel - 5.10.230
Ebuild name:

virtual/dist-kernel-5.10.230

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-11-18

dist-kernel - 5.15.173
Ebuild name:

virtual/dist-kernel-5.15.173

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-11-18

dist-kernel - 6.1.118
Ebuild name:

virtual/dist-kernel-6.1.118

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-11-18

dist-kernel - 6.11.9
Ebuild name:

virtual/dist-kernel-6.11.9

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-11-18

dist-kernel - 6.6.62
Ebuild name:

virtual/dist-kernel-6.6.62

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-11-18

dulwich - 0.22.6
Ebuild name:

dev-python/dulwich-0.22.6

Description

Pure-Python implementation of the Git file formats and protocols

Added to portage

2024-11-18

dxvk - 2.5.1
Ebuild name:

app-emulation/dxvk-2.5.1

Description

Vulkan-based implementation of D3D9, D3D10 and D3D11 for Linux / Wine

Added to portage

2024-11-18

egl-x11 - 1.0.0_pre20241113
Ebuild name:

gui-libs/egl-x11-1.0.0_pre20241113

Description

NVIDIA X11/XCB EGL external platform library

Added to portage

2024-11-18

ell - 0.70-r1
Ebuild name:

dev-libs/ell-0.70-r1

Description

Embedded Linux Library provides core, low-level functionality for system daemo

Added to portage

2024-11-18

eselect - 1.4.28
Ebuild name:

app-admin/eselect-1.4.28

Description

Gentoo's multi-purpose configuration and management tool

Added to portage

2024-11-18

fastfetch - 2.30.1
Ebuild name:

app-misc/fastfetch-2.30.1

Description

Fast neofetch-like system information tool

Added to portage

2024-11-18

ffcall - 2.5
Ebuild name:

dev-libs/ffcall-2.5

Description

Build foreign function call interfaces in embedded interpreter

Added to portage

2024-11-18

findlib - 1.9.8
Ebuild name:

dev-ml/findlib-1.9.8

Description

OCaml tool to find/use non-standard packages

Added to portage

2024-11-18

gentoo-kernel - 5.10.230
Ebuild name:

sys-kernel/gentoo-kernel-5.10.230

Description

Linux kernel built with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel - 5.15.173
Ebuild name:

sys-kernel/gentoo-kernel-5.15.173

Description

Linux kernel built with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel - 6.1.118
Ebuild name:

sys-kernel/gentoo-kernel-6.1.118

Description

Linux kernel built with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel - 6.11.9
Ebuild name:

sys-kernel/gentoo-kernel-6.11.9

Description

Linux kernel built with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel - 6.6.62
Ebuild name:

sys-kernel/gentoo-kernel-6.6.62

Description

Linux kernel built with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel-bin - 5.10.230
Ebuild name:

sys-kernel/gentoo-kernel-bin-5.10.230

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel-bin - 5.15.173
Ebuild name:

sys-kernel/gentoo-kernel-bin-5.15.173

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel-bin - 6.1.118
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.1.118

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel-bin - 6.11.9
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.11.9

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-11-18

gentoo-kernel-bin - 6.6.62
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.6.62

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-11-18

gentoo-sources - 5.10.230
Ebuild name:

sys-kernel/gentoo-sources-5.10.230

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

gentoo-sources - 5.15.173
Ebuild name:

sys-kernel/gentoo-sources-5.15.173

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

gentoo-sources - 6.1.118
Ebuild name:

sys-kernel/gentoo-sources-6.1.118

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

gentoo-sources - 6.11.9
Ebuild name:

sys-kernel/gentoo-sources-6.11.9

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

gentoo-sources - 6.12.0
Ebuild name:

sys-kernel/gentoo-sources-6.12.0

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

gentoo-sources - 6.6.62
Ebuild name:

sys-kernel/gentoo-sources-6.6.62

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-11-18

google-cloud-cpp - 2.30.0
Ebuild name:

net-libs/google-cloud-cpp-2.30.0

Description

Google Cloud Client Library for C++

Added to portage

2024-11-18

hypothesis - 6.119.3
Ebuild name:

dev-python/hypothesis-6.119.3

Description

A library for property based testing

Added to portage

2024-11-18

i3 - 4.24
Ebuild name:

x11-wm/i3-4.24

Description

An improved dynamic tiling window manager

Added to portage

2024-11-18

immutabledict - 4.2.1
Ebuild name:

dev-python/immutabledict-4.2.1

Description

An immutable wrapper around dictionaries

Added to portage

2024-11-18

kube-apiserver - 1.31.2
Ebuild name:

sys-cluster/kube-apiserver-1.31.2

Description

Kubernetes API server

Added to portage

2024-11-18

kube-controller-manager - 1.31.2
Ebuild name:

sys-cluster/kube-controller-manager-1.31.2

Description

Kubernetes Controller Manager

Added to portage

2024-11-18

kube-proxy - 1.31.2
Ebuild name:

sys-cluster/kube-proxy-1.31.2

Description

Kubernetes Proxy service

Added to portage

2024-11-18

kube-scheduler - 1.31.2
Ebuild name:

sys-cluster/kube-scheduler-1.31.2

Description

Kubernetes Scheduler

Added to portage

2024-11-18

kubeadm - 1.31.2
Ebuild name:

sys-cluster/kubeadm-1.31.2

Description

CLI to Easily bootstrap a secure Kubernetes cluster

Added to portage

2024-11-18

kubectl - 1.31.2
Ebuild name:

sys-cluster/kubectl-1.31.2

Description

CLI to run commands against Kubernetes clusters

Added to portage

2024-11-18

kubelet - 1.31.2
Ebuild name:

sys-cluster/kubelet-1.31.2

Description

Kubernetes Node Agent

Added to portage

2024-11-18

libzdb - 3.4.0
Ebuild name:

dev-db/libzdb-3.4.0

Description

A thread safe high level multi-database connection pool library

Added to portage

2024-11-18

lsof - 4.99.4
Ebuild name:

sys-process/lsof-4.99.4

Description

Lists open files for running Unix processes

Added to portage

2024-11-18

merlin - 4.14-r1
Ebuild name:

dev-ml/merlin-4.14-r1

Description

Context sensitive completion for OCaml in Vim and Emacs

Added to portage

2024-11-18

moddb - 0.12.0
Ebuild name:

dev-python/moddb-0.12.0

Description

Python scrapper to access ModDB mods, games and more as objects

Added to portage

2024-11-18

moto - 5.0.21
Ebuild name:

dev-python/moto-5.0.21

Description

Mock library for boto

Added to portage

2024-11-18

ncompress - 5.0-r2
Ebuild name:

app-arch/ncompress-5.0-r2

Description

Classic compress & uncompress programs for .Z (LZW) files

Added to portage

2024-11-18

pikepdf - 9.4.2
Ebuild name:

dev-python/pikepdf-9.4.2

Description

Python library to work with pdf files based on qpdf

Added to portage

2024-11-18

prismlauncher - 9.1
Ebuild name:

games-action/prismlauncher-9.1

Description

A custom, open source Minecraft launcher

Added to portage

2024-11-18

pyjwt - 2.10.0
Ebuild name:

dev-python/pyjwt-2.10.0

Description

JSON Web Token implementation in Python

Added to portage

2024-11-18

pyvenv - 1.21
Ebuild name:

app-emacs/pyvenv-1.21

Description

Python virtual environment interface for Emacs

Added to portage

2024-11-18

reaper-bin - 7.27
Ebuild name:

media-sound/reaper-bin-7.27

Description

Digital audio workstation

Added to portage

2024-11-18

refind - 0.14.2-r3
Ebuild name:

sys-boot/refind-0.14.2-r3

Description

The UEFI Boot Manager by Rod Smith

Added to portage

2024-11-18

reuse - 5.0.2
Ebuild name:

dev-util/reuse-5.0.2

Description

Manage license information according to the SPDX standard

Added to portage

2024-11-18

roadie-rails - 3.3.0
Ebuild name:

dev-ruby/roadie-rails-3.3.0

Description

Hooks Roadie into your Rails application to help with email generation

Added to portage

2024-11-18

rustscan - 2.3.0
Ebuild name:

net-analyzer/rustscan-2.3.0

Description

The Modern Port Scanner

Added to portage

2024-11-18

setproctitle - 1.3.4-r1
Ebuild name:

dev-python/setproctitle-1.3.4-r1

Description

Allow customization of the process title

Added to portage

2024-11-18

sqlglot - 25.31.3
Ebuild name:

dev-python/sqlglot-25.31.3

Description

An easily customizable SQL parser and transpiler

Added to portage

2024-11-18

symbols-nerd-font - 3.3.0
Ebuild name:

media-fonts/symbols-nerd-font-3.3.0

Description

Symbols-only font containing the Nerd Font icons

Added to portage

2024-11-18

vanilla-kernel - 5.10.230
Ebuild name:

sys-kernel/vanilla-kernel-5.10.230

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-11-18

vanilla-kernel - 5.15.173
Ebuild name:

sys-kernel/vanilla-kernel-5.15.173

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-11-18

vanilla-kernel - 6.1.118
Ebuild name:

sys-kernel/vanilla-kernel-6.1.118

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-11-18

vanilla-kernel - 6.11.9
Ebuild name:

sys-kernel/vanilla-kernel-6.11.9

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-11-18

vanilla-kernel - 6.6.62
Ebuild name:

sys-kernel/vanilla-kernel-6.6.62

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-11-18

vanilla-sources - 6.12.0
Ebuild name:

sys-kernel/vanilla-sources-6.12.0

Description

Full sources for the Linux kernel

Added to portage

2024-11-18

vpl-gpu-rt - 24.2.5
Ebuild name:

media-libs/vpl-gpu-rt-24.2.5

Description

Intel Video Processing Library GPU Runtime

Added to portage

2024-11-18

vpl-gpu-rt - 24.3.4
Ebuild name:

media-libs/vpl-gpu-rt-24.3.4

Description

Intel Video Processing Library GPU Runtime

Added to portage

2024-11-18

vpl-gpu-rt - 24.4.2
Ebuild name:

media-libs/vpl-gpu-rt-24.4.2

Description

Intel Video Processing Library GPU Runtime

Added to portage

2024-11-18

watchman - 2023.06.19.00-r2
Ebuild name:

dev-util/watchman-2023.06.19.00-r2

Description

A file watching service

Added to portage

2024-11-18

waybar - 0.11.0-r1
Ebuild name:

gui-apps/waybar-0.11.0-r1

Description

Highly customizable Wayland bar for Sway and Wlroots based compositors

Added to portage

2024-11-18

yarl - 1.17.2
Ebuild name:

dev-python/yarl-1.17.2

Description

Yet another URL library

Added to portage

2024-11-18

yt-dlp - 2024.11.18
Ebuild name:

net-misc/yt-dlp-2024.11.18

Description

youtube-dl fork with additional features and fixes

Added to portage

2024-11-18
rdf newsfeed | rss newsfeed | Atom newsfeed
- Powered by LeopardCMS - Running on Gentoo -
Copyright 2004-2020 Sascha Nitsch Unternehmensberatung GmbH
Valid XHTML1.1 : Valid CSS : buttonmaker
- Level Triple-A Conformance to Web Content Accessibility Guidelines 1.0 -
- Copyright and legal notices -
Time to create this page: 26.3 ms