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:

71134

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-12-21
apache-arrow - 18.1.0-r2
Ebuild name:

dev-libs/apache-arrow-18.1.0-r2

Description

A cross-language development platform for in-memory data.

Added to portage

2024-12-21

cargo-nextest - 0.9.87
Ebuild name:

dev-util/cargo-nextest-0.9.87

Description

Next-generation test runner for Rust

Added to portage

2024-12-21

cdk - 5.0.20240619-r1
Ebuild name:

dev-libs/cdk-5.0.20240619-r1

Description

A library of curses widgets

Added to portage

2024-12-21

chrome-binary-plugins - 131.0.6778.204
Ebuild name:

www-plugins/chrome-binary-plugins-131.0.6778.204

Description

Binary plugins from Google Chrome for use in Chrom

Added to portage

2024-12-21

chrome-binary-plugins - 132.0.6834.57_beta
Ebuild name:

www-plugins/chrome-binary-plugins-132.0.6834.57_beta

Description

Binary plugins from Google Chrome for use in C

Added to portage

2024-12-21

chrome-binary-plugins - 133.0.6905.0_alpha
Ebuild name:

www-plugins/chrome-binary-plugins-133.0.6905.0_alpha

Description

Binary plugins from Google Chrome for use in C

Added to portage

2024-12-21

chromedriver-bin - 131.0.6778.204
Ebuild name:

www-apps/chromedriver-bin-131.0.6778.204

Description

WebDriver for Chrome

Added to portage

2024-12-21

django-debug-toolbar - 4.4.6-r1
Ebuild name:

dev-python/django-debug-toolbar-4.4.6-r1

Description

A configurable set of panels that display various debug in

Added to portage

2024-12-21

django-registration - 5.1.0-r1
Ebuild name:

dev-python/django-registration-5.1.0-r1

Description

user-registration application for Django

Added to portage

2024-12-21

google-chrome - 131.0.6778.204
Ebuild name:

www-client/google-chrome-131.0.6778.204

Description

The web browser from Google

Added to portage

2024-12-21

google-chrome-beta - 132.0.6834.57
Ebuild name:

www-client/google-chrome-beta-132.0.6834.57

Description

The web browser from Google

Added to portage

2024-12-21

google-chrome-unstable - 133.0.6905.0
Ebuild name:

www-client/google-chrome-unstable-133.0.6905.0

Description

The web browser from Google

Added to portage

2024-12-21

microsoft-edge - 131.0.2903.112
Ebuild name:

www-client/microsoft-edge-131.0.2903.112

Description

The web browser from Microsoft

Added to portage

2024-12-21

microsoft-edge-beta - 132.0.2957.55
Ebuild name:

www-client/microsoft-edge-beta-132.0.2957.55

Description

The web browser from Microsoft

Added to portage

2024-12-21

microsoft-edge-dev - 133.0.3014.0
Ebuild name:

www-client/microsoft-edge-dev-133.0.3014.0

Description

The web browser from Microsoft

Added to portage

2024-12-21

opera - 115.0.5322.109
Ebuild name:

www-client/opera-115.0.5322.109

Description

A fast and secure web browser

Added to portage

2024-12-21

opera-beta - 116.0.5366.13
Ebuild name:

www-client/opera-beta-116.0.5366.13

Description

A fast and secure web browser

Added to portage

2024-12-21

opera-developer - 117.0.5378.0
Ebuild name:

www-client/opera-developer-117.0.5378.0

Description

A fast and secure web browser

Added to portage

2024-12-21

opera-developer - 117.0.5383.0
Ebuild name:

www-client/opera-developer-117.0.5383.0

Description

A fast and secure web browser

Added to portage

2024-12-21

pv - 1.9.24
Ebuild name:

sys-apps/pv-1.9.24

Description

Pipe Viewer a tool for monitoring the progress of data through a pipe

Added to portage

2024-12-21

resolve-march-native - 5.1.0-r1
Ebuild name:

app-misc/resolve-march-native-5.1.0-r1

Description

Resolve GCC flag -march=native

Added to portage

2024-12-21

zram-generator - 1.2.1
Ebuild name:

sys-apps/zram-generator-1.2.1

Description

Systemd unit generator for zram swap devices

Added to portage

2024-12-21

2024-12-20
0xtools - 2.0.3-r3
Ebuild name:

dev-util/0xtools-2.0.3-r3

Description

Always-on profiling for production systems

Added to portage

2024-12-20

abcmidi - 2024.12.16
Ebuild name:

media-sound/abcmidi-2024.12.16

Description

Programs for processing ABC music notation files

Added to portage

2024-12-20

actioncable - 7.2.2.1
Ebuild name:

dev-ruby/actioncable-7.2.2.1

Description

Integrated WebSockets for Rails

Added to portage

2024-12-20

actionmailbox - 7.2.2.1
Ebuild name:

dev-ruby/actionmailbox-7.2.2.1

Description

Framework for designing email-service layers

Added to portage

2024-12-20

actionmailer - 7.2.2.1
Ebuild name:

dev-ruby/actionmailer-7.2.2.1

Description

Framework for designing email-service layers

Added to portage

2024-12-20

actionpack - 7.2.2.1
Ebuild name:

dev-ruby/actionpack-7.2.2.1

Description

Eases web-request routing, handling, and response

Added to portage

2024-12-20

actionpack - 8.0.1
Ebuild name:

dev-ruby/actionpack-8.0.1

Description

Eases web-request routing, handling, and response

Added to portage

2024-12-20

actiontext - 7.2.2.1
Ebuild name:

dev-ruby/actiontext-7.2.2.1

Description

Edit and display rich text in Rails applications

Added to portage

2024-12-20

actionview - 7.2.2.1
Ebuild name:

dev-ruby/actionview-7.2.2.1

Description

Simple, battle-tested conventions and helpers for building web pages

Added to portage

2024-12-20

actionview - 8.0.1
Ebuild name:

dev-ruby/actionview-8.0.1

Description

Simple, battle-tested conventions and helpers for building web pages

Added to portage

2024-12-20

activejob - 7.2.2.1
Ebuild name:

dev-ruby/activejob-7.2.2.1

Description

Job framework with pluggable queues

Added to portage

2024-12-20

activejob - 8.0.1
Ebuild name:

dev-ruby/activejob-8.0.1

Description

Job framework with pluggable queues

Added to portage

2024-12-20

activemodel - 7.2.2.1
Ebuild name:

dev-ruby/activemodel-7.2.2.1

Description

Toolkit for building modeling frameworks like Active Record and Active

Added to portage

2024-12-20

activemodel - 8.0.1
Ebuild name:

dev-ruby/activemodel-8.0.1

Description

Toolkit for building modeling frameworks like Active Record and Active R

Added to portage

2024-12-20

activerecord - 7.2.2.1
Ebuild name:

dev-ruby/activerecord-7.2.2.1

Description

Implements the ActiveRecord pattern (Fowler, PoEAA) for ORM

Added to portage

2024-12-20

activerecord - 8.0.1
Ebuild name:

dev-ruby/activerecord-8.0.1

Description

Implements the ActiveRecord pattern (Fowler, PoEAA) for ORM

Added to portage

2024-12-20

activestorage - 7.2.2.1
Ebuild name:

dev-ruby/activestorage-7.2.2.1

Description

Attach cloud and local files in Rails applications

Added to portage

2024-12-20

activesupport - 7.2.2.1
Ebuild name:

dev-ruby/activesupport-7.2.2.1

Description

Utility Classes and Extension to the Standard Library

Added to portage

2024-12-20

activesupport - 8.0.1
Ebuild name:

dev-ruby/activesupport-8.0.1

Description

Utility Classes and Extension to the Standard Library

Added to portage

2024-12-20

alsa-scarlett-gui - 0.4.0-r1
Ebuild name:

media-sound/alsa-scarlett-gui-0.4.0-r1

Description

A UI for Focusrite Scarlett and Clarett audio interfaces

Added to portage

2024-12-20

awscli - 1.36.26
Ebuild name:

app-admin/awscli-1.36.26

Description

Universal Command Line Environment for AWS

Added to portage

2024-12-20

bibtexparser - 1.4.3
Ebuild name:

dev-python/bibtexparser-1.4.3

Description

A BibTeX parser written in Python

Added to portage

2024-12-20

bitcoin-core - 28.1_rc2
Ebuild name:

net-p2p/bitcoin-core-28.1_rc2

Description

Reference implementation of the Bitcoin cryptocurrency

Added to portage

2024-12-20

boto3 - 1.35.85
Ebuild name:

dev-python/boto3-1.35.85

Description

The AWS SDK for Python

Added to portage

2024-12-20

botocore - 1.35.85
Ebuild name:

dev-python/botocore-1.35.85

Description

Low-level, data-driven core of boto 3

Added to portage

2024-12-20

browser-cookie3 - 0.20.1
Ebuild name:

dev-python/browser-cookie3-0.20.1

Description

Loads cookies from your browser into a cookiejar object

Added to portage

2024-12-20

chromium - 131.0.6778.204
Ebuild name:

www-client/chromium-131.0.6778.204

Description

Open-source version of Google Chrome web browser

Added to portage

2024-12-20

cmake - 3.31.3
Ebuild name:

dev-build/cmake-3.31.3

Description

Cross platform Make

Added to portage

2024-12-20

conan - 2.11.0
Ebuild name:

dev-util/conan-2.11.0

Description

Distributed C/C++ package manager

Added to portage

2024-12-20

containerd - 2.0.1
Ebuild name:

app-containers/containerd-2.0.1

Description

A daemon to control runC

Added to portage

2024-12-20

cysignals - 1.12.2
Ebuild name:

dev-python/cysignals-1.12.2

Description

Interrupt and signal handling for Cython

Added to portage

2024-12-20

debug - 1.10.0
Ebuild name:

dev-ruby/debug-1.10.0

Description

Debugging functionality for Ruby

Added to portage

2024-12-20

dist-kernel - 5.10.232
Ebuild name:

virtual/dist-kernel-5.10.232

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-12-20

dist-kernel - 5.15.175
Ebuild name:

virtual/dist-kernel-5.15.175

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-12-20

dist-kernel - 6.1.121
Ebuild name:

virtual/dist-kernel-6.1.121

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-12-20

dist-kernel - 6.12.6
Ebuild name:

virtual/dist-kernel-6.12.6

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-12-20

dist-kernel - 6.6.67
Ebuild name:

virtual/dist-kernel-6.6.67

Description

Virtual to depend on any Distribution Kernel

Added to portage

2024-12-20

dns-lexicon - 3.20.1
Ebuild name:

dev-python/dns-lexicon-3.20.1

Description

Manipulate DNS records on various DNS providers in a standardized/agn

Added to portage

2024-12-20

docker - 27.4.1
Ebuild name:

app-containers/docker-27.4.1

Description

The core functions you need to create Docker images and run Docker con

Added to portage

2024-12-20

docker-cli - 27.4.1
Ebuild name:

app-containers/docker-cli-27.4.1

Description

the command line binary for docker

Added to portage

2024-12-20

docker-compose - 2.32.1
Ebuild name:

app-containers/docker-compose-2.32.1

Description

Multi-container orchestration for Docker

Added to portage

2024-12-20

dolphin - 24.12.0.1
Ebuild name:

kde-apps/dolphin-24.12.0.1

Description

Plasma filemanager focusing on usability

Added to portage

2024-12-20

drgn - 0.0.30
Ebuild name:

dev-debug/drgn-0.0.30

Description

Programmable debugger

Added to portage

2024-12-20

dulwich - 0.22.7
Ebuild name:

dev-python/dulwich-0.22.7

Description

Pure-Python implementation of the Git file formats and protocols

Added to portage

2024-12-20

dxvk - 2.5.2
Ebuild name:

app-emulation/dxvk-2.5.2

Description

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

Added to portage

2024-12-20

eisl - 5.39
Ebuild name:

dev-lang/eisl-5.39

Description

Interpreter and compiler compatible with the ISLisp standard

Added to portage

2024-12-20

element - 1.11.89
Ebuild name:

www-apps/element-1.11.89

Description

A glossy Matrix collaboration client for the web

Added to portage

2024-12-20

element-desktop-bin - 1.11.89
Ebuild name:

net-im/element-desktop-bin-1.11.89

Description

A glossy Matrix collaboration client for desktop (binary package

Added to portage

2024-12-20

erubi - 1.13.1
Ebuild name:

dev-ruby/erubi-1.13.1

Description

a ERB template engine for ruby; a simplified fork of Erubis

Added to portage

2024-12-20

fastfetch - 2.32.1
Ebuild name:

app-misc/fastfetch-2.32.1

Description

Fast neofetch-like system information tool

Added to portage

2024-12-20

fop - 2.10-r1
Ebuild name:

dev-java/fop-2.10-r1

Description

XML Graphics Format Object Processor All-In-One

Added to portage

2024-12-20

free42 - 3.1.11
Ebuild name:

app-emulation/free42-3.1.11

Description

An HP-42S Calculator Simulator

Added to portage

2024-12-20

freecad - 1.0.0-r2
Ebuild name:

media-gfx/freecad-1.0.0-r2

Description

Qt based Computer Aided Design application

Added to portage

2024-12-20

fsspec - 2024.12.0
Ebuild name:

dev-python/fsspec-2024.12.0

Description

A specification that python filesystems should adhere to

Added to portage

2024-12-20

gcc - 12.4.1_p20241219
Ebuild name:

sys-devel/gcc-12.4.1_p20241219

Description

The GNU Compiler Collection

Added to portage

2024-12-20

gentoo-kernel - 5.10.232
Ebuild name:

sys-kernel/gentoo-kernel-5.10.232

Description

Linux kernel built with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel - 5.15.175
Ebuild name:

sys-kernel/gentoo-kernel-5.15.175

Description

Linux kernel built with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel - 6.1.121
Ebuild name:

sys-kernel/gentoo-kernel-6.1.121

Description

Linux kernel built with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel - 6.12.6
Ebuild name:

sys-kernel/gentoo-kernel-6.12.6

Description

Linux kernel built with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel - 6.6.67
Ebuild name:

sys-kernel/gentoo-kernel-6.6.67

Description

Linux kernel built with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel-bin - 5.10.232
Ebuild name:

sys-kernel/gentoo-kernel-bin-5.10.232

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel-bin - 5.15.175
Ebuild name:

sys-kernel/gentoo-kernel-bin-5.15.175

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel-bin - 6.1.121
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.1.121

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel-bin - 6.12.6
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.12.6

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-12-20

gentoo-kernel-bin - 6.6.67
Ebuild name:

sys-kernel/gentoo-kernel-bin-6.6.67

Description

Pre-built Linux kernel with Gentoo patches

Added to portage

2024-12-20

gentoo-sources - 5.10.232
Ebuild name:

sys-kernel/gentoo-sources-5.10.232

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-12-20

gentoo-sources - 5.15.175
Ebuild name:

sys-kernel/gentoo-sources-5.15.175

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-12-20

gentoo-sources - 6.1.121
Ebuild name:

sys-kernel/gentoo-sources-6.1.121

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-12-20

gentoo-sources - 6.12.6
Ebuild name:

sys-kernel/gentoo-sources-6.12.6

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-12-20

gentoo-sources - 6.6.67
Ebuild name:

sys-kernel/gentoo-sources-6.6.67

Description

Full sources including the Gentoo patchset for the . kernel tree

Added to portage

2024-12-20

gphoto2 - 2.5.28-r2
Ebuild name:

media-gfx/gphoto2-2.5.28-r2

Description

Free, redistributable digital camera software application

Added to portage

2024-12-20

hypothesis - 6.122.4
Ebuild name:

dev-python/hypothesis-6.122.4

Description

A library for property based testing

Added to portage

2024-12-20

ipython - 8.30.0-r1
Ebuild name:

dev-python/ipython-8.30.0-r1

Description

Advanced interactive shell for Python

Added to portage

2024-12-20

jazz2 - 3.0.0-r1
Ebuild name:

games-arcade/jazz2-3.0.0-r1

Description

Open source reimplementation of Jazz Jackrabbit 2

Added to portage

2024-12-20

jazz2-data - 0-r20241219
Ebuild name:

games-arcade/jazz2-data-0-r20241219

Description

Jazz Jackrabbit 2 data files for games-arcade/jazz2

Added to portage

2024-12-20

jchart2d - 3.2.2-r2
Ebuild name:

dev-java/jchart2d-3.2.2-r2

Description

A minimalistic realtime charting library for Java

Added to portage

2024-12-20

jdk - 24-r1
Ebuild name:

virtual/jdk-24-r1

Description

Virtual for Java Development Kit (JDK)

Added to portage

2024-12-20

jdk - 25
Ebuild name:

virtual/jdk-25

Description

Virtual for Java Development Kit (JDK)

Added to portage

2024-12-20

jre - 25
Ebuild name:

virtual/jre-25

Description

Virtual for Java Runtime Environment (JRE)

Added to portage

2024-12-20

just - 1.38.0
Ebuild name:

dev-build/just-1.38.0

Description

Just a command runner (with syntax inspired by 'make')

Added to portage

2024-12-20

libwbxml - 0.11.10
Ebuild name:

dev-libs/libwbxml-0.11.10

Description

Library and tools to parse, encode and handle WBXML documents

Added to portage

2024-12-20

liquid - 5.6.0
Ebuild name:

dev-ruby/liquid-5.6.0

Description

Template engine for Ruby

Added to portage

2024-12-20

logtalk - 3.47.0-r2
Ebuild name:

dev-lang/logtalk-3.47.0-r2

Description

Open source object-oriented logic programming language

Added to portage

2024-12-20

mold - 2.35.1
Ebuild name:

sys-devel/mold-2.35.1

Description

A Modern Linker

Added to portage

2024-12-20

nbclient - 0.10.2
Ebuild name:

dev-python/nbclient-0.10.2

Description

A client library for executing Jupyter notebooks

Added to portage

2024-12-20

nextcloud-client - 3.15.2
Ebuild name:

net-misc/nextcloud-client-3.15.2

Description

Desktop Syncing Client for Nextcloud

Added to portage

2024-12-20

nextinspace - 3.0.0
Ebuild name:

dev-python/nextinspace-3.0.0

Description

A command-line tool for seeing the latest in space

Added to portage

2024-12-20

nginx-unit - 1.34.0
Ebuild name:

www-servers/nginx-unit-1.34.0

Description

Dynamic web and application server

Added to portage

2024-12-20

openafs - 1.8.13-r1
Ebuild name:

net-fs/openafs-1.8.13-r1

Description

The OpenAFS distributed file system

Added to portage

2024-12-20

openafs - 1.8.7-r1
Ebuild name:

net-fs/openafs-1.8.7-r1

Description

The OpenAFS distributed file system

Added to portage

2024-12-20

openafs - 1.8.8.1-r2
Ebuild name:

net-fs/openafs-1.8.8.1-r2

Description

The OpenAFS distributed file system

Added to portage

2024-12-20

openjdk - 24.0.1_p0
Ebuild name:

dev-java/openjdk-24.0.1_p0

Description

Open source implementation of the Java programming language

Added to portage

2024-12-20

openjdk-bin - 25_p2_beta
Ebuild name:

dev-java/openjdk-bin-25_p2_beta

Description

Prebuilt Java JDK binaries provided by Eclipse Temurin

Added to portage

2024-12-20

openssl - 3.3.2-r2
Ebuild name:

dev-libs/openssl-3.3.2-r2

Description

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

Added to portage

2024-12-20

owncloud-client - 5.3.1.14018
Ebuild name:

net-misc/owncloud-client-5.3.1.14018

Description

Synchronize files from ownCloud Server with your computer

Added to portage

2024-12-20

pdm - 2.22.1
Ebuild name:

dev-python/pdm-2.22.1

Description

Python package and dependency manager supporting the latest PEP standards

Added to portage

2024-12-20

pidgin-indicator - 1.0.2
Ebuild name:

x11-plugins/pidgin-indicator-1.0.2

Description

AppIndicator/KStatusNotifierItem plugin for Pidgin

Added to portage

2024-12-20

piwigo - 15.3.0
Ebuild name:

www-apps/piwigo-15.3.0

Description

a photo gallery software for the web

Added to portage

2024-12-20

plus42 - 1.1.16
Ebuild name:

app-emulation/plus42-1.1.16

Description

An Enhanced HP-42S Calculator Simulator

Added to portage

2024-12-20

protbuf - 1.7-r1
Ebuild name:

app-emacs/protbuf-1.7-r1

Description

Protect Emacs buffers from accidental killing

Added to portage

2024-12-20

psgml - 1.4.1
Ebuild name:

app-emacs/psgml-1.4.1

Description

A GNU Emacs Major Mode for editing SGML and XML coded documents

Added to portage

2024-12-20

psutil - 6.1.1
Ebuild name:

dev-python/psutil-6.1.1

Description

Retrieve information on running processes and system utilization

Added to portage

2024-12-20

puppet-mode - 0.4
Ebuild name:

app-emacs/puppet-mode-0.4

Description

Emacs major mode for editing Puppet manifests

Added to portage

2024-12-20

pymacs - 0.26-r5
Ebuild name:

app-emacs/pymacs-0.26-r5

Description

A tool that allows both-side communication between Python and Emacs Lisp

Added to portage

2024-12-20

pyside6 - 6.8.1
Ebuild name:

dev-python/pyside6-6.8.1

Description

Python bindings for the Qt framework

Added to portage

2024-12-20

pyside6-tools - 6.8.1
Ebuild name:

dev-python/pyside6-tools-6.8.1

Description

PySide development tools (pyside6-lupdate with support for Python)

Added to portage

2024-12-20

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-12-20

qtpy - 2.4.2-r1
Ebuild name:

dev-python/qtpy-2.4.2-r1

Description

Abstraction layer on top of PyQt and PySide with additional custom QWidget

Added to portage

2024-12-20

rails - 7.2.2.1
Ebuild name:

dev-ruby/rails-7.2.2.1

Description

ruby on rails is a web-application and persistence framework

Added to portage

2024-12-20

railties - 7.2.2.1
Ebuild name:

dev-ruby/railties-7.2.2.1

Description

Tools for creating, working with, and running Rails applications

Added to portage

2024-12-20

railties - 8.0.1
Ebuild name:

dev-ruby/railties-8.0.1

Description

Tools for creating, working with, and running Rails applications

Added to portage

2024-12-20

rdoc - 6.10.0
Ebuild name:

dev-ruby/rdoc-6.10.0

Description

An extended version of the RDoc library from Ruby 1.8

Added to portage

2024-12-20

remmina - 1.4.37
Ebuild name:

net-misc/remmina-1.4.37

Description

A GTK+ RDP, SPICE, VNC and SSH client

Added to portage

2024-12-20

respx - 0.22.0-r1
Ebuild name:

dev-python/respx-0.22.0-r1

Description

Mock HTTPX with awesome request patterns and response side effects

Added to portage

2024-12-20

rfc3161-client - 0.1.2
Ebuild name:

dev-python/rfc3161-client-0.1.2

Description

An Opinionated Python RFC3161 Client

Added to portage

2024-12-20

rssguard - 4.8.1
Ebuild name:

net-news/rssguard-4.8.1

Description

Simple (yet powerful) news feed reader

Added to portage

2024-12-20

ruff - 0.8.4
Ebuild name:

dev-util/ruff-0.8.4

Description

An extremely fast Python linter, written in Rust

Added to portage

2024-12-20

runc - 1.2.3
Ebuild name:

app-containers/runc-1.2.3

Description

runc container cli tools

Added to portage

2024-12-20

saslprep - 1.1-r2
Ebuild name:

dev-java/saslprep-1.1-r2

Description

SASLprep Stringprep Profile for User Names and Passwords

Added to portage

2024-12-20

scala-bin - 2.13.9-r1
Ebuild name:

dev-lang/scala-bin-2.13.9-r1

Description

The Scala Programming Language

Added to portage

2024-12-20

sdl2-mixer - 2.8.0
Ebuild name:

media-libs/sdl2-mixer-2.8.0

Description

Simple Direct Media Layer Mixer Library

Added to portage

2024-12-20

sequoia-sq - 1.0.0
Ebuild name:

app-crypt/sequoia-sq-1.0.0

Description

CLI of the Sequoia OpenPGP implementation

Added to portage

2024-12-20

shiboken6 - 6.8.1
Ebuild name:

dev-python/shiboken6-6.8.1

Description

Python binding generator for C++ libraries

Added to portage

2024-12-20

signal-desktop-bin - 7.36.1
Ebuild name:

net-im/signal-desktop-bin-7.36.1

Description

Allows you to send and receive messages of Signal Messenger on you

Added to portage

2024-12-20

sigstore - 3.6.1
Ebuild name:

dev-python/sigstore-3.6.1

Description

A tool for signing Python package distributions

Added to portage

2024-12-20

sphinxcontrib-spelling - 8.0.1
Ebuild name:

dev-python/sphinxcontrib-spelling-8.0.1

Description

Sphinx spelling extension

Added to portage

2024-12-20

spyder - 5.5.6-r1
Ebuild name:

dev-python/spyder-5.5.6-r1

Description

The Scientific Python Development Environment

Added to portage

2024-12-20

spyder - 6.0.3-r1
Ebuild name:

dev-python/spyder-6.0.3-r1

Description

The Scientific Python Development Environment

Added to portage

2024-12-20

stgit - 2.4.13
Ebuild name:

dev-vcs/stgit-2.4.13

Description

Stack-based patch management for Git

Added to portage

2024-12-20

stripe - 11.4.1
Ebuild name:

dev-python/stripe-11.4.1

Description

Stripe Python bindings

Added to portage

2024-12-20

tbb - 2022.0.0-r1
Ebuild name:

dev-cpp/tbb-2022.0.0-r1

Description

High level abstract threading library

Added to portage

2024-12-20

tpm2-tss - 4.0.2
Ebuild name:

app-crypt/tpm2-tss-4.0.2

Description

TCG Trusted Platform Module 2.0 Software Stack

Added to portage

2024-12-20

tpm2-tss - 4.0.2-r1
Ebuild name:

app-crypt/tpm2-tss-4.0.2-r1

Description

TCG Trusted Platform Module 2.0 Software Stack

Added to portage

2024-12-20

tpm2-tss - 4.1.3
Ebuild name:

app-crypt/tpm2-tss-4.1.3

Description

TCG Trusted Platform Module 2.0 Software Stack

Added to portage

2024-12-20

trousers - 0.3.15
Ebuild name:

app-crypt/trousers-0.3.15

Description

An open-source TCG Software Stack (TSS) v1.1 implementation

Added to portage

2024-12-20

uv - 0.5.11
Ebuild name:

dev-python/uv-0.5.11

Description

A Python package installer and resolver, written in Rust

Added to portage

2024-12-20

vanilla-kernel - 5.10.232
Ebuild name:

sys-kernel/vanilla-kernel-5.10.232

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-12-20

vanilla-kernel - 5.15.175
Ebuild name:

sys-kernel/vanilla-kernel-5.15.175

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-12-20

vanilla-kernel - 6.1.121
Ebuild name:

sys-kernel/vanilla-kernel-6.1.121

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-12-20

vanilla-kernel - 6.12.6
Ebuild name:

sys-kernel/vanilla-kernel-6.12.6

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-12-20

vanilla-kernel - 6.6.67
Ebuild name:

sys-kernel/vanilla-kernel-6.6.67

Description

Linux kernel built from vanilla upstream sources

Added to portage

2024-12-20

virtualbox-kvm - 7.1.4_pre20241220
Ebuild name:

app-emulation/virtualbox-kvm-7.1.4_pre20241220

Description

Family of powerful x86 virtualization products for e

Added to portage

2024-12-20

virtualgl - 3.1.2
Ebuild name:

x11-misc/virtualgl-3.1.2

Description

Run OpenGL applications remotely with full 3D hardware acceleration

Added to portage

2024-12-20

ytmusicapi - 1.9.0
Ebuild name:

dev-python/ytmusicapi-1.9.0

Description

Unofficial API for YouTube Music

Added to portage

2024-12-20

zenlib - 3.0.1
Ebuild name:

dev-python/zenlib-3.0.1

Description

Useful python decorators and utilities

Added to portage

2024-12-20
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: 28.7 ms