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:

71614

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/agda-stdlib:

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.
Tutorials
Known bugs
Changelog
Reverse Dependencies
Compile time

Esitmated compile time


Remember this setting


back



Support us on Content Nation

New Packages

- as rdf newsfeed
- as rss newsfeed
- as Atom newsfeed
2025-01-15
ansible-compat - 25.0.0
Ebuild name:

dev-python/ansible-compat-25.0.0

Description

Contains functions that facilitate working with various versions o

Added to portage

2025-01-15

aspell-af - 0.50.0-r1
Ebuild name:

app-dicts/aspell-af-0.50.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-am - 0.03.1-r1
Ebuild name:

app-dicts/aspell-am-0.03.1-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-ar - 1.2.0-r1
Ebuild name:

app-dicts/aspell-ar-1.2.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-ast - 0.01-r1
Ebuild name:

app-dicts/aspell-ast-0.01-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-az - 0.02.0-r1
Ebuild name:

app-dicts/aspell-az-0.02.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-be - 0.01-r2
Ebuild name:

app-dicts/aspell-be-0.01-r2

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-bg - 4.1.0-r1
Ebuild name:

app-dicts/aspell-bg-4.1.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-bn - 0.01.1.1-r1
Ebuild name:

app-dicts/aspell-bn-0.01.1.1-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-br - 0.50.2-r1
Ebuild name:

app-dicts/aspell-br-0.50.2-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-ca - 2.5.0-r1
Ebuild name:

app-dicts/aspell-ca-2.5.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-cs - 20040614.1-r1
Ebuild name:

app-dicts/aspell-cs-20040614.1-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-csb - 0.02.0-r1
Ebuild name:

app-dicts/aspell-csb-0.02.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-cy - 0.50.3-r1
Ebuild name:

app-dicts/aspell-cy-0.50.3-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-da - 4.3
Ebuild name:

app-dicts/aspell-da-4.3

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-de - 20161207.7.0-r1
Ebuild name:

app-dicts/aspell-de-20161207.7.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-de-alt - 2.1.1-r2
Ebuild name:

app-dicts/aspell-de-alt-2.1.1-r2

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-el - 0.08.0-r1
Ebuild name:

app-dicts/aspell-el-0.08.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-en - 2020.12.07.0-r1
Ebuild name:

app-dicts/aspell-en-2020.12.07.0-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-eo - 2.1.20000225.2-r1
Ebuild name:

app-dicts/aspell-eo-2.1.20000225.2-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

aspell-es - 1.11.2-r1
Ebuild name:

app-dicts/aspell-es-1.11.2-r1

Description

Aspell () language dictionary

Added to portage

2025-01-15

autopep8 - 2.3.2
Ebuild name:

dev-python/autopep8-2.3.2

Description

Automatically formats Python code to conform to the PEP 8 style guide

Added to portage

2025-01-15

awscli - 1.36.40
Ebuild name:

app-admin/awscli-1.36.40

Description

Universal Command Line Environment for AWS

Added to portage

2025-01-15

boto3 - 1.35.99
Ebuild name:

dev-python/boto3-1.35.99

Description

The AWS SDK for Python

Added to portage

2025-01-15

botocore - 1.35.99
Ebuild name:

dev-python/botocore-1.35.99

Description

Low-level, data-driven core of boto 3

Added to portage

2025-01-15

cfn-lint - 1.22.5
Ebuild name:

dev-python/cfn-lint-1.22.5

Description

CloudFormation Linter

Added to portage

2025-01-15

clang - 19.1.7
Ebuild name:

dev-python/clang-19.1.7

Description

Python bindings for llvm-core/clang

Added to portage

2025-01-15

cloudpickle - 3.1.1
Ebuild name:

dev-python/cloudpickle-3.1.1

Description

Extended pickling support for Python objects

Added to portage

2025-01-15

django - 4.2.18
Ebuild name:

dev-python/django-4.2.18

Description

High-level Python web framework

Added to portage

2025-01-15

django - 5.0.11
Ebuild name:

dev-python/django-5.0.11

Description

High-level Python web framework

Added to portage

2025-01-15

django - 5.1.5
Ebuild name:

dev-python/django-5.1.5

Description

High-level Python web framework

Added to portage

2025-01-15

gfxreconstruct - 1.3.296.0
Ebuild name:

dev-debug/gfxreconstruct-1.3.296.0

Description

Graphics API Capture and Replay Tools

Added to portage

2025-01-15

gfxreconstruct - 9999
Ebuild name:

dev-debug/gfxreconstruct-9999

Description

Graphics API Capture and Replay Tools

Added to portage

2025-01-15

google-api-python-client - 2.159.0
Ebuild name:

dev-python/google-api-python-client-2.159.0

Description

Google API Client for Python

Added to portage

2025-01-15

jaq - 2.1.0
Ebuild name:

app-misc/jaq-2.1.0

Description

Just another JSON query tool

Added to portage

2025-01-15

lit - 19.1.7
Ebuild name:

dev-python/lit-19.1.7

Description

A stand-alone install of the LLVM suite testing tool

Added to portage

2025-01-15

llvm - 19.1.7
Ebuild name:

dev-ml/llvm-19.1.7

Description

OCaml bindings for LLVM

Added to portage

2025-01-15

more-itertools - 10.6.0
Ebuild name:

dev-python/more-itertools-10.6.0

Description

More routines for operating on iterables, beyond itertools

Added to portage

2025-01-15

nbclassic - 1.2.0
Ebuild name:

dev-python/nbclassic-1.2.0

Description

Jupyter Notebook as a Jupyter Server Extension

Added to portage

2025-01-15

pdlzip - 1.14
Ebuild name:

app-arch/pdlzip-1.14

Description

Public-domain version of lzip compressor

Added to portage

2025-01-15

pdns-recursor - 5.2.0
Ebuild name:

net-dns/pdns-recursor-5.2.0

Description

The PowerDNS Recursor

Added to portage

2025-01-15

pyfakefs - 5.7.4
Ebuild name:

dev-python/pyfakefs-5.7.4

Description

A fake file system that mocks the Python file system modules

Added to portage

2025-01-15

sandbox - 9999
Ebuild name:

sys-apps/sandbox-9999

Description

sandbox'd LD_PRELOAD hack

Added to portage

2025-01-15

sesman - 0.3.4
Ebuild name:

app-emacs/sesman-0.3.4

Description

Generic session manager for Emacs based IDEs

Added to portage

2025-01-15

session - 2.4b
Ebuild name:

app-emacs/session-2.4b

Description

When you start Emacs, Session restores various variables from your last sess

Added to portage

2025-01-15

synapse - 1.122.0
Ebuild name:

net-im/synapse-1.122.0

Description

Reference implementation of Matrix homeserver

Added to portage

2025-01-15

ugrd - 1.30.1
Ebuild name:

sys-kernel/ugrd-1.30.1

Description

Python based initramfs generator with TOML defintions

Added to portage

2025-01-15

vdf - 4.0
Ebuild name:

dev-python/vdf-4.0

Description

A module for (de)serialization to and from VDF, Valve's key-value text format

Added to portage

2025-01-15

yubioath-flutter-bin - 7.1.1
Ebuild name:

app-crypt/yubioath-flutter-bin-7.1.1

Description

Yubico Authenticator for TOTP

Added to portage

2025-01-15

zulucrypt - 7.0.0
Ebuild name:

app-crypt/zulucrypt-7.0.0

Description

Front end to cryptsetup

Added to portage

2025-01-15

2025-01-14
awscli - 1.36.39
Ebuild name:

app-admin/awscli-1.36.39

Description

Universal Command Line Environment for AWS

Added to portage

2025-01-14

benchmark - 1.9.1
Ebuild name:

dev-cpp/benchmark-1.9.1

Description

A microbenchmark support library

Added to portage

2025-01-14

blake3 - 1.0.2
Ebuild name:

dev-python/blake3-1.0.2

Description

Python bindings for the BLAKE3 cryptographic hash function

Added to portage

2025-01-14

boto3 - 1.35.98
Ebuild name:

dev-python/boto3-1.35.98

Description

The AWS SDK for Python

Added to portage

2025-01-14

botocore - 1.35.98
Ebuild name:

dev-python/botocore-1.35.98

Description

Low-level, data-driven core of boto 3

Added to portage

2025-01-14

clementine - 1.4.1_p28
Ebuild name:

media-sound/clementine-1.4.1_p28

Description

Modern music player and library organizer based on Amarok 1.4 and

Added to portage

2025-01-14

cpputest - 4.0-r1
Ebuild name:

dev-util/cpputest-4.0-r1

Description

Unit testing and mocking framework for C/C++

Added to portage

2025-01-14

cucumber - 9.2.1
Ebuild name:

dev-util/cucumber-9.2.1

Description

Executable feature scenarios

Added to portage

2025-01-14

cutter - 2.3.4-r2
Ebuild name:

dev-util/cutter-2.3.4-r2

Description

A Qt and C++ GUI for rizin reverse engineering framework

Added to portage

2025-01-14

dd-rescue - 1.99.20
Ebuild name:

sys-fs/dd-rescue-1.99.20

Description

Similar to dd but can copy from source with errors

Added to portage

2025-01-14

discord - 0.0.80
Ebuild name:

net-im/discord-0.0.80

Description

All-in-one voice and text chat for gamers

Added to portage

2025-01-14

django-debug-toolbar - 5.0.1
Ebuild name:

dev-python/django-debug-toolbar-5.0.1

Description

A configurable set of panels that display various debug infor

Added to portage

2025-01-14

docker-compose - 2.32.3
Ebuild name:

app-containers/docker-compose-2.32.3

Description

Multi-container orchestration for Docker

Added to portage

2025-01-14

fetchcommandwrapper - 0.8.4-r5
Ebuild name:

app-portage/fetchcommandwrapper-0.8.4-r5

Description

Wrapper integrating aria2 into portage's FETCHCOMMAND

Added to portage

2025-01-14

gamescope - 3.16.1
Ebuild name:

gui-wm/gamescope-3.16.1

Description

Efficient micro-compositor for running games

Added to portage

2025-01-14

gcc - 15.0.0_pre20250112-r2
Ebuild name:

sys-devel/gcc-15.0.0_pre20250112-r2

Description

The GNU Compiler Collection

Added to portage

2025-01-14

ghostty - 1.0.1-r2
Ebuild name:

x11-terms/ghostty-1.0.1-r2

Description

Fast, feature-rich, and cross-platform terminal emulator

Added to portage

2025-01-14

git - 2.48.0-r2
Ebuild name:

dev-vcs/git-2.48.0-r2

Description

Stupid content tracker distributed VCS designed for speed and efficiency

Added to portage

2025-01-14

gitlab-runner - 17.5.5
Ebuild name:

dev-util/gitlab-runner-17.5.5

Description

The official GitLab Runner, written in Go

Added to portage

2025-01-14

gitlab-runner - 17.6.1
Ebuild name:

dev-util/gitlab-runner-17.6.1

Description

The official GitLab Runner, written in Go

Added to portage

2025-01-14

gitlab-runner - 17.7.0
Ebuild name:

dev-util/gitlab-runner-17.7.0

Description

The official GitLab Runner, written in Go

Added to portage

2025-01-14

gmp-ecm - 7.0.6-r1
Ebuild name:

sci-mathematics/gmp-ecm-7.0.6-r1

Description

Elliptic Curve Method for Integer Factorization

Added to portage

2025-01-14

heaptrack - 1.5.80_pre20250110
Ebuild name:

dev-util/heaptrack-1.5.80_pre20250110

Description

Fast heap memory profiler

Added to portage

2025-01-14

hypothesis - 6.123.17
Ebuild name:

dev-python/hypothesis-6.123.17

Description

A library for property based testing

Added to portage

2025-01-14

ibus-rime - 1.5.1
Ebuild name:

app-i18n/ibus-rime-1.5.1

Description

Chinese Rime Input Method Engine for IBus

Added to portage

2025-01-14

kbibtex - 0.10.50_pre20250113
Ebuild name:

app-text/kbibtex-0.10.50_pre20250113

Description

BibTeX editor to edit bibliographies used with LaTeX

Added to portage

2025-01-14

kernelshark - 2.3.2
Ebuild name:

dev-util/kernelshark-2.3.2

Description

Graphical reader for trace-cmd output

Added to portage

2025-01-14

kfloppy - 23.07.70_pre20241222
Ebuild name:

kde-apps/kfloppy-23.07.70_pre20241222

Description

Straightforward graphical means to format 3.5

Added to portage

2025-01-14

ktimetracker - 6.0.0_pre20250109
Ebuild name:

app-office/ktimetracker-6.0.0_pre20250109

Description

Todo management and time tracker

Added to portage

2025-01-14

kxstitch - 3.0.0_pre20250110
Ebuild name:

media-gfx/kxstitch-3.0.0_pre20250110

Description

Program to create cross stitch patterns

Added to portage

2025-01-14

libqalculate - 5.5.0
Ebuild name:

sci-libs/libqalculate-5.5.0

Description

A modern multi-purpose calculator library

Added to portage

2025-01-14

license-expression - 30.4.1
Ebuild name:

dev-python/license-expression-30.4.1

Description

Parse, compare, simplify and normalize license expressions

Added to portage

2025-01-14

lighttpd - 1.4.77
Ebuild name:

www-servers/lighttpd-1.4.77

Description

Lightweight high-performance web server

Added to portage

2025-01-14

lldpd - 1.0.19
Ebuild name:

net-misc/lldpd-1.0.19

Description

Implementation of IEEE 802.1ab (LLDP)

Added to portage

2025-01-14

lunzip - 1.15
Ebuild name:

app-arch/lunzip-1.15

Description

Decompressor for the lzip format, written in C

Added to portage

2025-01-14

msmtp - 1.8.28
Ebuild name:

mail-mta/msmtp-1.8.28

Description

An SMTP client and SMTP plugin for mail user agents such as Mutt

Added to portage

2025-01-14

musl - 1.2.3-r9
Ebuild name:

sys-libs/musl-1.2.3-r9

Description

Light, fast and simple C library focused on standards-conformance and safety

Added to portage

2025-01-14

musl - 1.2.4-r3
Ebuild name:

sys-libs/musl-1.2.4-r3

Description

Light, fast and simple C library focused on standards-conformance and safety

Added to portage

2025-01-14

musl - 1.2.5-r2
Ebuild name:

sys-libs/musl-1.2.5-r2

Description

Light, fast and, simple C library focused on standards-conformance and safet

Added to portage

2025-01-14

ondselsolver - 1.0.1_p20241127
Ebuild name:

sci-libs/ondselsolver-1.0.1_p20241127

Description

Assembly Constraints and Multibody Dynamics code

Added to portage

2025-01-14

openjdk - 25_p5
Ebuild name:

dev-java/openjdk-25_p5

Description

Open source implementation of the Java programming language

Added to portage

2025-01-14

openscenegraph - 3.6.5-r116
Ebuild name:

dev-games/openscenegraph-3.6.5-r116

Description

Open source high performance 3D graphics toolkit

Added to portage

2025-01-14

opentofu - 1.8.8
Ebuild name:

app-admin/opentofu-1.8.8

Description

The open source infrastructure as code tool

Added to portage

2025-01-14

opentofu - 1.9.0
Ebuild name:

app-admin/opentofu-1.9.0

Description

The open source infrastructure as code tool

Added to portage

2025-01-14

pam - 1.7.0_p20241230-r3
Ebuild name:

sys-libs/pam-1.7.0_p20241230-r3

Description

Linux-PAM (Pluggable Authentication Modules)

Added to portage

2025-01-14

pkgcraft-tools - 0.0.22
Ebuild name:

sys-apps/pkgcraft-tools-0.0.22

Description

pkgcraft-based tools for Gentoo

Added to portage

2025-01-14

pkgcruft - 0.0.9
Ebuild name:

dev-util/pkgcruft-0.0.9

Description

QA library and tools based on pkgcraft

Added to portage

2025-01-14

prefix-toolkit - 11
Ebuild name:

app-portage/prefix-toolkit-11

Description

Utilities for users of Gentoo Prefix

Added to portage

2025-01-14

qalculate-gtk - 5.5.0
Ebuild name:

sci-calculators/qalculate-gtk-5.5.0

Description

Modern multi-purpose calculator

Added to portage

2025-01-14

qalculate-qt - 5.5.0
Ebuild name:

sci-calculators/qalculate-qt-5.5.0

Description

Qt-based UI for libqalculate

Added to portage

2025-01-14

responses - 0.25.6
Ebuild name:

dev-python/responses-0.25.6

Description

Utility for mocking out the Python Requests library

Added to portage

2025-01-14

runc - 1.2.4
Ebuild name:

app-containers/runc-1.2.4

Description

runc container cli tools

Added to portage

2025-01-14

sccache - 0.9.1
Ebuild name:

dev-util/sccache-0.9.1

Description

ccache/distcc like tool with support for rust and cloud storage

Added to portage

2025-01-14

schismtracker - 20241226
Ebuild name:

media-sound/schismtracker-20241226

Description

Free implementation of Impulse Tracker, a tool used to create hi

Added to portage

2025-01-14

systemd - 254.23
Ebuild name:

sys-apps/systemd-254.23

Description

System and service manager for Linux

Added to portage

2025-01-14

systemd - 255.17
Ebuild name:

sys-apps/systemd-255.17

Description

System and service manager for Linux

Added to portage

2025-01-14

systemd - 256.11
Ebuild name:

sys-apps/systemd-256.11

Description

System and service manager for Linux

Added to portage

2025-01-14

systemd - 257.2
Ebuild name:

sys-apps/systemd-257.2

Description

System and service manager for Linux

Added to portage

2025-01-14

systemd-utils - 254.23
Ebuild name:

sys-apps/systemd-utils-254.23

Description

Utilities split out from systemd for OpenRC users

Added to portage

2025-01-14

systemd-utils - 255.17
Ebuild name:

sys-apps/systemd-utils-255.17

Description

Utilities split out from systemd for OpenRC users

Added to portage

2025-01-14

systemd-utils - 256.11
Ebuild name:

sys-apps/systemd-utils-256.11

Description

Utilities split out from systemd for OpenRC users

Added to portage

2025-01-14

tagpy - 2025.1
Ebuild name:

dev-python/tagpy-2025.1

Description

Python Bindings for TagLib

Added to portage

2025-01-14

tilt - 2.6.0
Ebuild name:

dev-ruby/tilt-2.6.0

Description

Thin interface over template engines to make their usage as generic as possible

Added to portage

2025-01-14

util-linux - 2.40.4
Ebuild name:

sys-apps/util-linux-2.40.4

Description

Various useful Linux utilities

Added to portage

2025-01-14

xcffib - 1.7.1
Ebuild name:

dev-python/xcffib-1.7.1

Description

A drop in replacement for xpyb, an XCB python binding

Added to portage

2025-01-14

zfs - 2.3.0
Ebuild name:

sys-fs/zfs-2.3.0

Description

Userland utilities for ZFS Linux kernel module

Added to portage

2025-01-14

zfs-kmod - 2.3.0
Ebuild name:

sys-fs/zfs-kmod-2.3.0

Description

Linux ZFS kernel module for sys-fs/zfs

Added to portage

2025-01-14

zim - 0.76.0
Ebuild name:

x11-misc/zim-0.76.0

Description

A desktop wiki

Added to portage

2025-01-14
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: 25.7 ms