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:

71249

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/sha1-polyml:

Description: implementation of SHA1 is taken from the GNU coreutils package
Homepage: https://isabelle.in.tum.de/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
sha1-polyml-5.9 -~----------~none
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-27
2024-12-26
Stage - 4.3.0-r2
Ebuild name:

sci-electronics/Stage-4.3.0-r2

Description

The Stage Robot Simulator

Added to portage

2024-12-26

alsa-tools - 1.2.11-r1
Ebuild name:

media-sound/alsa-tools-1.2.11-r1

Description

Advanced Linux Sound Architecture tools

Added to portage

2024-12-26

alsamixergui - 0.9.0.1.2-r5
Ebuild name:

media-sound/alsamixergui-0.9.0.1.2-r5

Description

FLTK based amixer Frontend

Added to portage

2024-12-26

bundler - 2.5.23
Ebuild name:

dev-ruby/bundler-2.5.23

Description

An easy way to vendor gem dependencies

Added to portage

2024-12-26

bundler - 2.6.2
Ebuild name:

dev-ruby/bundler-2.6.2

Description

An easy way to vendor gem dependencies

Added to portage

2024-12-26

crashtest - 1.1-r3
Ebuild name:

games-simulation/crashtest-1.1-r3

Description

Educational car crash simulator

Added to portage

2024-12-26

dillo - 3.1.1-r1
Ebuild name:

www-client/dillo-3.1.1-r1

Description

Lean FLTK based web browser

Added to portage

2024-12-26

docker - 27.4.1-r1
Ebuild name:

app-containers/docker-27.4.1-r1

Description

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

Added to portage

2024-12-26

drgn - 0.0.30-r1
Ebuild name:

dev-debug/drgn-0.0.30-r1

Description

Programmable debugger

Added to portage

2024-12-26

eureka - 1.27b-r1
Ebuild name:

games-util/eureka-1.27b-r1

Description

Graphical map editor for games using the DOOM engine

Added to portage

2024-12-26

fastfetch - 2.33.0
Ebuild name:

app-misc/fastfetch-2.33.0

Description

Fast neofetch-like system information tool

Added to portage

2024-12-26

fbthrift - 2024.11.04.00-r1
Ebuild name:

dev-cpp/fbthrift-2024.11.04.00-r1

Description

Facebook's branch of Apache Thrift (C++ bindings)

Added to portage

2024-12-26

fldigi - 4.2.05-r3
Ebuild name:

media-radio/fldigi-4.2.05-r3

Description

Sound card based multimode software modem for Amateur Radio use

Added to portage

2024-12-26

fldigi - 4.2.05-r4
Ebuild name:

media-radio/fldigi-4.2.05-r4

Description

Sound card based multimode software modem for Amateur Radio use

Added to portage

2024-12-26

fldigi - 4.2.06-r1
Ebuild name:

media-radio/fldigi-4.2.06-r1

Description

Sound card based multimode software modem for Amateur Radio use

Added to portage

2024-12-26

flpsed - 0.7.3-r1
Ebuild name:

app-text/flpsed-0.7.3-r1

Description

Pseudo PostScript editor

Added to portage

2024-12-26

flrig - 2.0.05-r1
Ebuild name:

media-radio/flrig-2.0.05-r1

Description

Transceiver control program for Amateur Radio use

Added to portage

2024-12-26

fltk - 1.4.1
Ebuild name:

x11-libs/fltk-1.4.1

Description

Fast Light GUI Toolkit

Added to portage

2024-12-26

gettext - 0.22.4-r1
Ebuild name:

sys-devel/gettext-0.22.4-r1

Description

GNU locale utilities

Added to portage

2024-12-26

giac - 1.9.0.29-r2
Ebuild name:

sci-mathematics/giac-1.9.0.29-r2

Description

A free C++ Computer Algebra System library and its interfaces

Added to portage

2024-12-26

giac - 1.9.0.995-r2
Ebuild name:

sci-mathematics/giac-1.9.0.995-r2

Description

A free C++ Computer Algebra System library and its interfaces

Added to portage

2024-12-26

gitlab-cli - 1.51.0
Ebuild name:

dev-util/gitlab-cli-1.51.0

Description

the official gitlab command line interface

Added to portage

2024-12-26

glbsp - 2.24-r1
Ebuild name:

games-util/glbsp-2.24-r1

Description

Node builder specially designed for OpenGL ports of the DOOM game engine

Added to portage

2024-12-26

gmorgan - 0.79-r4
Ebuild name:

media-sound/gmorgan-0.79-r4

Description

Opensource software rhythm station

Added to portage

2024-12-26

gmsh - 4.11.1-r3
Ebuild name:

sci-libs/gmsh-4.11.1-r3

Description

Three-dimensional finite element mesh generator

Added to portage

2024-12-26

gmsh - 4.12.2-r2
Ebuild name:

sci-libs/gmsh-4.12.2-r2

Description

Three-dimensional finite element mesh generator

Added to portage

2024-12-26

gmsh - 4.13.1-r1
Ebuild name:

sci-libs/gmsh-4.13.1-r1

Description

Three-dimensional finite element mesh generator

Added to portage

2024-12-26

gnucash - 5.10
Ebuild name:

app-office/gnucash-5.10

Description

Personal finance manager

Added to portage

2024-12-26

horgand - 1.14-r3
Ebuild name:

media-sound/horgand-1.14-r3

Description

Opensource software organ

Added to portage

2024-12-26

htmldoc - 1.9.16-r1
Ebuild name:

app-text/htmldoc-1.9.16-r1

Description

Convert HTML pages into a PDF document

Added to portage

2024-12-26

ja2-stracciatella - 0.21.0-r2
Ebuild name:

games-strategy/ja2-stracciatella-0.21.0-r2

Description

An improved, cross-platform, stable Jagged Alliance 2 ru

Added to portage

2024-12-26

jwt - 2.10.0
Ebuild name:

dev-ruby/jwt-2.10.0

Description

A Ruby implementation of JSON Web Token draft 06

Added to portage

2024-12-26

keyring - 25.6.0
Ebuild name:

dev-python/keyring-25.6.0

Description

Provides access to the system keyring service

Added to portage

2024-12-26

kitty - 0.38.1
Ebuild name:

x11-terms/kitty-0.38.1

Description

Fast, feature-rich, GPU-based terminal

Added to portage

2024-12-26

kitty-shell-integration - 0.38.1
Ebuild name:

x11-terms/kitty-shell-integration-0.38.1

Description

Shell integration scripts for kitty, a GPU-based terminal

Added to portage

2024-12-26

kitty-terminfo - 0.38.1
Ebuild name:

x11-terms/kitty-terminfo-0.38.1

Description

Terminfo for kitty, a GPU-based terminal emulator

Added to portage

2024-12-26

libfmt - 11.1.0
Ebuild name:

dev-libs/libfmt-11.1.0

Description

Small, safe and fast formatting library

Added to portage

2024-12-26

libkdumpfile - 0.5.5-r2
Ebuild name:

dev-libs/libkdumpfile-0.5.5-r2

Description

Kernel coredump file access

Added to portage

2024-12-26

libvirt - 10.10.0-r1
Ebuild name:

app-emulation/libvirt-10.10.0-r1

Description

C toolkit to manipulate virtual machines

Added to portage

2024-12-26

libvpl - 2.14.0
Ebuild name:

media-libs/libvpl-2.14.0

Description

Intel Video Processing Library dispatcher

Added to portage

2024-12-26

libvpl-tools - 1.3.0
Ebuild name:

media-libs/libvpl-tools-1.3.0

Description

Intel Video Processing Library tools

Added to portage

2024-12-26

lidarr-bin - 2.9.0.4508
Ebuild name:

www-apps/lidarr-bin-2.9.0.4508

Description

Looks and smells like Sonarr but made for music

Added to portage

2024-12-26

lmms - 1.2.2-r3
Ebuild name:

media-sound/lmms-1.2.2-r3

Description

Cross-platform music production software

Added to portage

2024-12-26

mapbox-earcut - 1.0.3
Ebuild name:

dev-python/mapbox-earcut-1.0.3

Description

Python bindings to the mapbox earcut C++ library

Added to portage

2024-12-26

mathgl - 8.0.1-r2
Ebuild name:

sci-libs/mathgl-8.0.1-r2

Description

Math Graphics Library

Added to portage

2024-12-26

monica - 3.7-r2
Ebuild name:

media-gfx/monica-3.7-r2

Description

Monica is a Monitor Calibration Tool

Added to portage

2024-12-26

mozc - 2.28.5029.102-r4
Ebuild name:

app-i18n/mozc-2.28.5029.102-r4

Description

Mozc - Japanese input method editor

Added to portage

2024-12-26

mup - 6.9-r1
Ebuild name:

media-sound/mup-6.9-r1

Description

Program for printing music scores

Added to portage

2024-12-26

nestopia - 1.52.1-r1
Ebuild name:

games-emulation/nestopia-1.52.1-r1

Description

Portable Nintendo Entertainment System emulator written in C++

Added to portage

2024-12-26

nestopia - 1.53.0-r1
Ebuild name:

games-emulation/nestopia-1.53.0-r1

Description

Portable Nintendo Entertainment System emulator written in C++

Added to portage

2024-12-26

netpbm - 11.2.12
Ebuild name:

media-libs/netpbm-11.2.12

Description

A set of utilities for converting to/from the netpbm (and related) format

Added to portage

2024-12-26

netpbm - 11.9.0
Ebuild name:

media-libs/netpbm-11.9.0

Description

A set of utilities for converting to/from the netpbm (and related) formats

Added to portage

2024-12-26

nodejs - 22.12.0-r1
Ebuild name:

net-libs/nodejs-22.12.0-r1

Description

A JavaScript runtime built on Chrome's V8 JavaScript engine

Added to portage

2024-12-26

odamex - 10.6.0-r2
Ebuild name:

games-engines/odamex-10.6.0-r2

Description

Online multiplayer free software engine for DOOM

Added to portage

2024-12-26

odamex - 10.6.0-r3
Ebuild name:

games-engines/odamex-10.6.0-r3

Description

Online multiplayer free software engine for DOOM

Added to portage

2024-12-26

ox - 2.14.19
Ebuild name:

dev-ruby/ox-2.14.19

Description

A fast XML parser and Object marshaller

Added to portage

2024-12-26

polly - 20.0.0.9999
Ebuild name:

llvm-core/polly-20.0.0.9999

Description

Polyhedral optimizations for LLVM

Added to portage

2024-12-26

prowlarr-bin - 1.29.0.4897
Ebuild name:

www-apps/prowlarr-bin-1.29.0.4897

Description

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

Added to portage

2024-12-26

pyside6 - 6.8.1.1
Ebuild name:

dev-python/pyside6-6.8.1.1

Description

Python bindings for the Qt framework

Added to portage

2024-12-26

pyside6-tools - 6.8.1.1
Ebuild name:

dev-python/pyside6-tools-6.8.1.1

Description

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

Added to portage

2024-12-26

python-socks - 2.6.0
Ebuild name:

dev-python/python-socks-2.6.0

Description

SOCKS4, SOCKS5, HTTP tunneling functionality for Python

Added to portage

2024-12-26

pyzotero - 1.6.0
Ebuild name:

dev-python/pyzotero-1.6.0

Description

A Python client for the Zotero API

Added to portage

2024-12-26

qmplay2 - 24.12.23
Ebuild name:

media-video/qmplay2-24.12.23

Description

A Qt-based video player, which can play most formats and codecs

Added to portage

2024-12-26

quat - 1.20-r4
Ebuild name:

media-gfx/quat-1.20-r4

Description

A 3D quaternionic fractal generator

Added to portage

2024-12-26

radarr-bin - 5.17.0.9555
Ebuild name:

www-apps/radarr-bin-5.17.0.9555

Description

A fork of Sonarr to work with movies a la Couchpotato

Added to portage

2024-12-26

readarr-bin - 0.4.6.2711
Ebuild name:

www-apps/readarr-bin-0.4.6.2711

Description

An ebook and audiobook collection manager for Usenet and BitTorrent

Added to portage

2024-12-26

regexp_parser - 2.10.0
Ebuild name:

dev-ruby/regexp_parser-2.10.0

Description

A library for tokenizing, lexing, and parsing Ruby regular expression

Added to portage

2024-12-26

rubygems - 3.5.23
Ebuild name:

dev-ruby/rubygems-3.5.23

Description

Centralized Ruby extension management system

Added to portage

2024-12-26

rubygems - 3.6.2
Ebuild name:

dev-ruby/rubygems-3.6.2

Description

Centralized Ruby extension management system

Added to portage

2024-12-26

seaview - 4.6-r2
Ebuild name:

sci-biology/seaview-4.6-r2

Description

A graphical multiple sequence alignment editor

Added to portage

2024-12-26

shiboken6 - 6.8.1.1
Ebuild name:

dev-python/shiboken6-6.8.1.1

Description

Python binding generator for C++ libraries

Added to portage

2024-12-26

snapcast - 0.29.0
Ebuild name:

media-sound/snapcast-0.29.0

Description

Synchronous multi-room audio player

Added to portage

2024-12-26

sonarr-bin - 4.0.11.2793
Ebuild name:

www-apps/sonarr-bin-4.0.11.2793

Description

Sonarr is a Smart PVR for newsgroup and bittorrent users

Added to portage

2024-12-26

sonic-snap - 1.7-r2
Ebuild name:

media-video/sonic-snap-1.7-r2

Description

Webcam app for sn9c10x based camera controllers (with optional MPEG4

Added to portage

2024-12-26

spyview - 2018.12.24-r1
Ebuild name:

sci-visualization/spyview-2018.12.24-r1

Description

2D and 3D data visualization and analysis program

Added to portage

2024-12-26

starlette - 0.43.0
Ebuild name:

dev-python/starlette-0.43.0

Description

The little ASGI framework that shines

Added to portage

2024-12-26

superqt - 0.7.0
Ebuild name:

dev-python/superqt-0.7.0

Description

Missing widgets and components for PyQt/PySide

Added to portage

2024-12-26

tigervnc - 1.14.1-r3
Ebuild name:

net-misc/tigervnc-1.14.1-r3

Description

Remote desktop viewer display system

Added to portage

2024-12-26

trio - 0.28.0
Ebuild name:

dev-python/trio-0.28.0

Description

Python library for async concurrency and I/O

Added to portage

2024-12-26

typeprof - 0.30.1
Ebuild name:

dev-ruby/typeprof-0.30.1

Description

Performs a type analysis of non-annotated Ruby code

Added to portage

2024-12-26

virt-firmware - 24.11
Ebuild name:

app-emulation/virt-firmware-24.11

Description

Tools for ovmf/armvirt firmware volumes

Added to portage

2024-12-26

vmd - 1.9.4_alpha57-r2
Ebuild name:

sci-chemistry/vmd-1.9.4_alpha57-r2

Description

Visual Molecular Dynamics

Added to portage

2024-12-26

vmd - 1.9.4_alpha57-r3
Ebuild name:

sci-chemistry/vmd-1.9.4_alpha57-r3

Description

Visual Molecular Dynamics

Added to portage

2024-12-26

vpl-gpu-rt - 24.4.4
Ebuild name:

media-libs/vpl-gpu-rt-24.4.4

Description

Intel Video Processing Library GPU Runtime

Added to portage

2024-12-26

wepdecrypt - 0.8-r3
Ebuild name:

net-wireless/wepdecrypt-0.8-r3

Description

Enhanced version of WepAttack a tool for breaking 802.11 WEP keys

Added to portage

2024-12-26

xdiskusage - 1.52-r1
Ebuild name:

x11-misc/xdiskusage-1.52-r1

Description

User-friendly program to show you what is using up all your disk space

Added to portage

2024-12-26

xfce4-mixer - 4.18.2
Ebuild name:

xfce-extra/xfce4-mixer-4.18.2

Description

A volume control application and panel plugin for Xfce

Added to portage

2024-12-26

yoshimi - 2.3.3.1-r1
Ebuild name:

media-sound/yoshimi-2.3.3.1-r1

Description

Software synthesizer based on ZynAddSubFX

Added to portage

2024-12-26

yoshimi - 2.3.3.2-r1
Ebuild name:

media-sound/yoshimi-2.3.3.2-r1

Description

Software synthesizer based on ZynAddSubFX

Added to portage

2024-12-26

yubihsm-connector - 3.0.4
Ebuild name:

app-crypt/yubihsm-connector-3.0.4

Description

Server to expose YubiHSM 2 to network

Added to portage

2024-12-26

zotero-bin - 7.0.11
Ebuild name:

app-text/zotero-bin-7.0.11

Description

Helps you collect, organize, cite, and share your research sources

Added to portage

2024-12-26

zynaddsubfx - 3.0.6-r5
Ebuild name:

media-sound/zynaddsubfx-3.0.6-r5

Description

Software synthesizer capable of making a countless number of instr

Added to portage

2024-12-26

zynaddsubfx - 3.0.6-r6
Ebuild name:

media-sound/zynaddsubfx-3.0.6-r6

Description

Software synthesizer capable of making a countless number of instr

Added to portage

2024-12-26
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: 22.8 ms