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:

89275

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

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/isabelle:

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
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
2026-10-17
aioquic - 1.7.0
Ebuild name:

dev-python/aioquic-1.7.0

Description

An implementation of QUIC and HTTP/3

Added to portage

2026-10-17

ast-serialize - 0.13.1
Ebuild name:

dev-python/ast-serialize-0.13.1

Description

Python bindings for mypy AST serialization

Added to portage

2026-10-17

aws-crt-cpp - 0.44.0
Ebuild name:

dev-cpp/aws-crt-cpp-0.44.0

Description

C++ wrapper around the aws-c-* libraries

Added to portage

2026-10-17

awscrt - 0.38.0
Ebuild name:

dev-python/awscrt-0.38.0

Description

A common runtime for AWS Python projects

Added to portage

2026-10-17

berkeleydb - 18.1.16
Ebuild name:

dev-python/berkeleydb-18.1.16

Description

Python bindings for Oracle Berkeley DB

Added to portage

2026-10-17

btrfs-assistant - 3.0.0
Ebuild name:

app-admin/btrfs-assistant-3.0.0

Description

GUI management tool to make managing a Btrfs filesystem easier

Added to portage

2026-10-17

claude-code - 2.1.301
Ebuild name:

dev-util/claude-code-2.1.301

Description

Claude Code - an agentic coding tool by Anthropic

Added to portage

2026-10-17

cli-helpers - 2.15.2
Ebuild name:

dev-python/cli-helpers-2.15.2

Description

Python helpers for common CLI tasks

Added to portage

2026-10-17

distlib - 0.4.4
Ebuild name:

dev-python/distlib-0.4.4

Description

Low-level components of distutils2/packaging

Added to portage

2026-10-17

django-otp - 1.7.5
Ebuild name:

dev-python/django-otp-1.7.5

Description

Django framework adding two-factor authentication using one-time passwo

Added to portage

2026-10-17

fastapi - 0.143.3
Ebuild name:

dev-python/fastapi-0.143.3

Description

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

Added to portage

2026-10-17

groovy-emacs-modes - 2.1
Ebuild name:

app-emacs/groovy-emacs-modes-2.1

Description

Groovy major mode, grails minor mode, and a groovy inferior mode

Added to portage

2026-10-17

hypothesis - 6.170.1
Ebuild name:

dev-python/hypothesis-6.170.1

Description

A library for property based testing

Added to portage

2026-10-17

jsonpath-ng - 1.11.0
Ebuild name:

dev-python/jsonpath-ng-1.11.0

Description

Python JSONPath Next-Generation

Added to portage

2026-10-17

objgraph - 3.7.0
Ebuild name:

dev-python/objgraph-3.7.0

Description

Draws Python object reference graphs with graphviz

Added to portage

2026-10-17

pecl-memcached - 3.4.0-r1
Ebuild name:

dev-php/pecl-memcached-3.4.0-r1

Description

Interface PHP with memcached via libmemcached library

Added to portage

2026-10-17

pillow - 13.0.0
Ebuild name:

dev-python/pillow-13.0.0

Description

Python Imaging Library (fork)

Added to portage

2026-10-17

pkginfo - 1.13.3
Ebuild name:

dev-python/pkginfo-1.13.3

Description

Provides an API for querying the distutils metadata written in a PKG-INFO

Added to portage

2026-10-17

portalocker - 4.4.1
Ebuild name:

dev-python/portalocker-4.4.1

Description

A library for Python file locking

Added to portage

2026-10-17

pyqt-builder - 1.20.1
Ebuild name:

dev-python/pyqt-builder-1.20.1

Description

The PEP 517 compliant PyQt build system

Added to portage

2026-10-17

s2n-tls - 1.7.12
Ebuild name:

dev-libs/s2n-tls-1.7.12

Description

s2n-tls is a C99 implementation of the TLS/SSL protocols

Added to portage

2026-10-17

sphinx-autodoc-typehints - 3.17.1
Ebuild name:

dev-python/sphinx-autodoc-typehints-3.17.1

Description

Type hints support for the Sphinx autodoc extension

Added to portage

2026-10-17

sqlalchemy - 2.0.55
Ebuild name:

dev-python/sqlalchemy-2.0.55

Description

Python SQL toolkit and Object Relational Mapper

Added to portage

2026-10-17

sqlalchemy - 2.1.5
Ebuild name:

dev-python/sqlalchemy-2.1.5

Description

Python SQL toolkit and Object Relational Mapper

Added to portage

2026-10-17

superqt - 0.9.0
Ebuild name:

dev-python/superqt-0.9.0

Description

Missing widgets and components for PyQt/PySide

Added to portage

2026-10-17

wine-vanilla - 11.20
Ebuild name:

app-emulation/wine-vanilla-11.20

Description

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

Added to portage

2026-10-17

2026-10-16
aws-c-mqtt - 1.1.2
Ebuild name:

dev-libs/aws-c-mqtt-1.1.2

Description

AWS C MQTT C99 implementation

Added to portage

2026-10-16

blessed - 1.51.0
Ebuild name:

dev-python/blessed-1.51.0

Description

Library for making terminal apps using colors, keyboard input and positio

Added to portage

2026-10-16

cachetools - 7.2.2
Ebuild name:

dev-python/cachetools-7.2.2

Description

Extensible memoizing collections and decorators

Added to portage

2026-10-16

cake - 6.3.0
Ebuild name:

dev-dotnet/cake-6.3.0

Description

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

Added to portage

2026-10-16

closure-compiler-bin - 20261015
Ebuild name:

dev-lang/closure-compiler-bin-20261015

Description

JavaScript optimizing compiler

Added to portage

2026-10-16

crystal - 1.22.0
Ebuild name:

dev-lang/crystal-1.22.0

Description

The Crystal Programming Language

Added to portage

2026-10-16

dotnet-runtime-nugets - 10.0.13
Ebuild name:

dev-dotnet/dotnet-runtime-nugets-10.0.13

Description

.NET runtime nugets

Added to portage

2026-10-16

dotnet-runtime-nugets - 8.0.32
Ebuild name:

dev-dotnet/dotnet-runtime-nugets-8.0.32

Description

.NET runtime nugets

Added to portage

2026-10-16

dotnet-runtime-nugets - 9.0.21
Ebuild name:

dev-dotnet/dotnet-runtime-nugets-9.0.21

Description

.NET runtime nugets

Added to portage

2026-10-16

dotnet-sdk-bin - 10.0.113
Ebuild name:

dev-dotnet/dotnet-sdk-bin-10.0.113

Description

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

Added to portage

2026-10-16

dotnet-sdk-bin - 10.0.402
Ebuild name:

dev-dotnet/dotnet-sdk-bin-10.0.402

Description

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

Added to portage

2026-10-16

eisl - 5.69
Ebuild name:

dev-lang/eisl-5.69

Description

Interpreter and compiler compatible with the ISLisp standard

Added to portage

2026-10-16

fable - 5.20.0
Ebuild name:

dev-dotnet/fable-5.20.0

Description

F to JavaScript, TypeScript, Python, Rust and Dart Compiler

Added to portage

2026-10-16

fastapi - 0.143.2
Ebuild name:

dev-python/fastapi-0.143.2

Description

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

Added to portage

2026-10-16

fonttools - 4.67.0
Ebuild name:

dev-python/fonttools-4.67.0

Description

Library for manipulating TrueType, OpenType, AFM and Type1 fonts

Added to portage

2026-10-16

fsautocomplete - 0.85.4
Ebuild name:

dev-dotnet/fsautocomplete-0.85.4

Description

F language server using the Language Server Protocol

Added to portage

2026-10-16

gopls - 0.24.0
Ebuild name:

dev-go/gopls-0.24.0

Description

Added to portage

2026-10-16

gruvbox-theme - 1.30.2
Ebuild name:

app-emacs/gruvbox-theme-1.30.2

Description

Gruvbox is a retro groove color scheme, now in Emacs

Added to portage

2026-10-16

gruvbox-theme - 1.30.3
Ebuild name:

app-emacs/gruvbox-theme-1.30.3

Description

Gruvbox is a retro groove color scheme, now in Emacs

Added to portage

2026-10-16

gruvbox-theme - 1.30.4
Ebuild name:

app-emacs/gruvbox-theme-1.30.4

Description

Gruvbox is a retro groove color scheme, now in Emacs

Added to portage

2026-10-16

gruvbox-theme - 9999
Ebuild name:

app-emacs/gruvbox-theme-9999

Description

Gruvbox is a retro groove color scheme, now in Emacs

Added to portage

2026-10-16

h4x0r - 0.13-r1
Ebuild name:

app-emacs/h4x0r-0.13-r1

Description

Aid in writing like a script kiddie does

Added to portage

2026-10-16

haskell-mode - 17.4
Ebuild name:

app-emacs/haskell-mode-17.4

Description

Mode for editing (and running) Haskell programs in Emacs

Added to portage

2026-10-16

haskell-mode - 17.4
Ebuild name:

app-emacs/haskell-mode-17.4

Description

Mode for editing (and running) Haskell programs in Emacs

Added to portage

2026-10-16

hiredis - 3.5.0
Ebuild name:

dev-python/hiredis-3.5.0

Description

Python extension that wraps hiredis

Added to portage

2026-10-16

hl-todo - 3.9.5
Ebuild name:

app-emacs/hl-todo-3.9.5

Description

Highlight TODO and similar keywords in comments and strings

Added to portage

2026-10-16

hypothesis - 6.170.0
Ebuild name:

dev-python/hypothesis-6.170.0

Description

A library for property based testing

Added to portage

2026-10-16

indent-bars - 1.0.1
Ebuild name:

app-emacs/indent-bars-1.0.1

Description

Fast, configurable indentation guide-bars for Emacs

Added to portage

2026-10-16

jellyfish - 1.3.0
Ebuild name:

dev-python/jellyfish-1.3.0

Description

Python module for doing approximate and phonetic matching of strings

Added to portage

2026-10-16

jinx - 2.11
Ebuild name:

app-emacs/jinx-2.11

Description

Enchanted Spell Checker for GNU Emacs

Added to portage

2026-10-16

jsonpickle - 4.1.4
Ebuild name:

dev-python/jsonpickle-4.1.4

Description

Python library for serializing any arbitrary object graph into JSON

Added to portage

2026-10-16

netcdf4 - 1.7.5
Ebuild name:

dev-python/netcdf4-1.7.5

Description

Python/numpy interface to the netCDF C library

Added to portage

2026-10-16

nvidia-container-toolkit - 1.20.1
Ebuild name:

app-containers/nvidia-container-toolkit-1.20.1

Description

NVIDIA container runtime toolkit

Added to portage

2026-10-16

openjdk - 28_alpha20
Ebuild name:

dev-java/openjdk-28_alpha20

Description

Open source implementation of the Java programming language

Added to portage

2026-10-16

openjdk-bin - 28_alpha20
Ebuild name:

dev-java/openjdk-bin-28_alpha20

Description

Prebuilt Java JDK binaries provided by Eclipse Temurin

Added to portage

2026-10-16

platformdirs - 4.13.3
Ebuild name:

dev-python/platformdirs-4.13.3

Description

A small Python module for determining appropriate platform-specific

Added to portage

2026-10-16

pluggy - 1.7.0
Ebuild name:

dev-python/pluggy-1.7.0

Description

Plugin and hook calling mechanisms for Python

Added to portage

2026-10-16

posframe - 1.5.3
Ebuild name:

app-emacs/posframe-1.5.3

Description

Pop up a frame at point

Added to portage

2026-10-16

pygraphviz - 2.0.4
Ebuild name:

dev-python/pygraphviz-2.0.4

Description

Python wrapper for the Graphviz Agraph data structure

Added to portage

2026-10-16

pypdf - 6.21.0
Ebuild name:

dev-python/pypdf-6.21.0

Description

Python library to work with PDF files

Added to portage

2026-10-16

pyproject-api - 1.11.7
Ebuild name:

dev-python/pyproject-api-1.11.7

Description

API to interact with the python pyproject.toml based projects

Added to portage

2026-10-16

pypy - 3.11.8.0.1
Ebuild name:

dev-lang/pypy-3.11.8.0.1

Description

A fast, compliant alternative implementation of the Python () language

Added to portage

2026-10-16

pypy - 3.12.8.0.1
Ebuild name:

dev-lang/pypy-3.12.8.0.1

Description

A fast, compliant alternative implementation of the Python () language

Added to portage

2026-10-16

pypy3-exe - 3.11.8.0.1
Ebuild name:

dev-lang/pypy3-exe-3.11.8.0.1

Description

PyPy3.11 executable (build from source)

Added to portage

2026-10-16

pypy3-exe - 3.12.8.0.1
Ebuild name:

dev-lang/pypy3-exe-3.12.8.0.1

Description

PyPy3.12 executable (build from source)

Added to portage

2026-10-16

pypy3-exe-bin - 3.11.8.0.1
Ebuild name:

dev-lang/pypy3-exe-bin-3.11.8.0.1

Description

PyPy3.11 executable (pre-built version)

Added to portage

2026-10-16

pypy3-exe-bin - 3.12.8.0.1
Ebuild name:

dev-lang/pypy3-exe-bin-3.12.8.0.1

Description

PyPy executable (pre-built version)

Added to portage

2026-10-16

python-discovery - 1.6.3
Ebuild name:

dev-python/python-discovery-1.6.3

Description

Python interpreter discovery

Added to portage

2026-10-16

ruff - 0.17.1
Ebuild name:

dev-util/ruff-0.17.1

Description

An extremely fast Python linter, written in Rust

Added to portage

2026-10-16

shell-maker - 0.97.7
Ebuild name:

app-emacs/shell-maker-0.97.7

Description

Interaction mode for making comint shells for GNU Emacs

Added to portage

2026-10-16

slime - 2.32
Ebuild name:

app-emacs/slime-2.32

Description

SLIME, the Superior Lisp Interaction Mode (Extended)

Added to portage

2026-10-16

sourcegit - 2026.22
Ebuild name:

dev-vcs/sourcegit-2026.22

Description

Open Source Git GUI client using .NET AvaloniaUI

Added to portage

2026-10-16

tifffile - 2026.10.15
Ebuild name:

dev-python/tifffile-2026.10.15

Description

Read and write TIFF files

Added to portage

2026-10-16

tomlkit - 0.15.2
Ebuild name:

dev-python/tomlkit-0.15.2

Description

Style preserving TOML library

Added to portage

2026-10-16

tox - 4.65.6
Ebuild name:

dev-python/tox-4.65.6

Description

virtualenv-based automation of test activities

Added to portage

2026-10-16

tox - 4.66.0
Ebuild name:

dev-python/tox-4.66.0

Description

virtualenv-based automation of test activities

Added to portage

2026-10-16

unison-ts-mode - 0.3.1
Ebuild name:

app-emacs/unison-ts-mode-0.3.1

Description

GNU Emacs major mode for the Unison language that uses Tree-sitter

Added to portage

2026-10-16

uv - 0.13.1
Ebuild name:

dev-python/uv-0.13.1

Description

A Python package installer and resolver, written in Rust

Added to portage

2026-10-16

uv-build - 0.13.1
Ebuild name:

dev-python/uv-build-0.13.1

Description

PEP517 uv build backend

Added to portage

2026-10-16

virtualenv - 21.14.8
Ebuild name:

dev-python/virtualenv-21.14.8

Description

Virtual Python Environment builder

Added to portage

2026-10-16

zope-hookable - 8.4
Ebuild name:

dev-python/zope-hookable-8.4

Description

Efficient creation of 'hookable' objects

Added to portage

2026-10-16

zope-i18nmessageid - 8.4
Ebuild name:

dev-python/zope-i18nmessageid-8.4

Description

Zope support for i18nmessageid (tagging source of i18n strings)

Added to portage

2026-10-16
rdf newsfeed | rss newsfeed | Atom newsfeed
Copyright 2004-2025 Sascha Nitsch Unternehmensberatung GmbH
- Copyright and legal notices -
Time to create this page: 17.7 ms