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:

83908

userrating:

average rating: 1.2 (52 votes) (1=very good 6=terrible)


May, 25th 2007:
April, 26th 2007:
Apr, 10th. 2007:
Druckversion . pdf icon
You are here: Portage


Details of dev-haskell/dec:

Description: Decidable propositions
Homepage:
https://github.com/phadej/dec

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
dec-0.0.5 -~-----~----~none
show
show
dec-0.0.3 -~-----~----~
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Known bugs:
bug IDcomponentassigned tostatusdescriptionlast change
366533EbuildsxakeUNCONFIRMEDUSE_EXPAND for codec USE flags - MEDIA_ENCODE and MEDIA_DECODE2011-06-10 16:30:20
371322Eclasses and ProfilesadaUNCONFIRMEDdev-lang/gnat-gcc-4.3.2 - work/gcc-4.3.2/libgcc/../gcc/unwind-pe.h:136: error: expected declaration 2012-03-19 19:22:36
392379ApplicationsvmwareUNCONFIRMEDapp-emulation/vmware-modules-238.5: vmmon-only/linux/hostif.c:2749:4: error: implicit declaration of2012-03-26 11:36:37
394375Ebuildsmaintainer-wantedUNCONFIRMEDdev-vcs/rhodecode - Mercurial repository browser/management with build in push/pull server and full 2013-01-29 16:31:11
396583ApplicationsgstreamerUNCONFIRMEDmedia-plugins/gst-plugins-ffmpeg-0.10.13-r1 - libavcodec/x86/h264_deblock_10bit.asm:421: error: inva2012-02-29 20:47:12
398399ApplicationsvimUNCONFIRMEDapp-editors/vim-7.3.393 - if_perl.c:1102:1: error: static declaration of 'XS_VIM_Msg' follows non-st2012-09-29 14:38:20
402763EbuildsgstreamerUNCONFIRMEDmedia-plugins/gst-plugins-ffmpeg-0.10.13-r1 - libavcodec/arm/dsputil_vfp.S:45: Error: selected proce2012-02-09 01:08:01
403965EbuildsaballierUNCONFIRMEDmedia-sound/decibel-audio-player-1.09 version bump2012-02-17 04:54:23
406935Ebuildsmaintainer-wantedUNCONFIRMEDmedia-libs/silly-0.1.0 - Silly image codec (Simple Image Loading LibrarY)2012-03-05 20:40:08
410333ApplicationssoundUNCONFIRMEDmedia-sound/milkytracker-0.90.85 - In member function ‘virtual bool DecompressorGZIP::decompress(con2013-01-30 18:31:25
423031GamesgamesUNCONFIRMEDgames-puzzle/mindless-1.6 crash in generating sealed deck2012-08-27 12:45:23
427004Applicationsmedia-videoUNCONFIRMEDmedia-video/ffmpeg-0.10.3 ABI=x32 - libavfilter/libmpcodecs/vf_ilpack.c:116: Error: operand type mis2012-09-25 03:49:30
428746ApplicationscardoeUNCONFIRMEDnet-misc/netcf-0.1.9 - drv_initscripts.c:1083:15: error: ‘NETCF_TRANSACTION’ undeclared (first use i2012-08-01 04:17:19
431066UnspecifiedsoundUNCONFIRMEDmedia-libs/libvisual - error: 'sigill_handler_sse' undeclared (first use in this function)2012-11-05 15:00:00
432884Ebuildspolynomial-cUNCONFIRMEDapp-emulation/virtualbox-modules: undeclared 'VM_RESERVED'2013-01-24 15:45:20
432908ApplicationsbluenessUNCONFIRMEDapp-admin/webapp-config-1.50.19: Allow precise declaration of server uid/gid in the configuration fi2012-09-30 16:18:23
433217Applicationsx11UNCONFIRMEDx11-drivers/xf86-video-qxl-0.0.17-r1: scrnIndex var is undeclared.2012-09-02 19:34:46
434240Developmentmaintainer-neededUNCONFIRMEDdev-util/bam-0.4.0 with dev-lang/lua-5.2.1: src/context.c:34:18: error: ‘LUA_GLOBALSINDEX’ undeclare2012-09-16 10:46:57
435338ApplicationstexUNCONFIRMEDdev-tex/chktex-1.7.0 - .../work/chktex-1.7.0/FindErrs.c:320: warning: implicit declaration of functi2012-09-18 13:41:50
439226Libraryphp-bugsUNCONFIRMEDdev-php/phpunit-3.5* should RDEPEND on 2012-10-22 08:47:33
444892Hardenedhardened-kernelUNCONFIRMEDNetwork failure with >sys-kernel/hardened-sources-3.4.5 tulip driver (DECchip 21140)2013-01-24 14:11:59
449296KDEkdeUNCONFIRMEDnet-im/ktp-call-ui-0.5.1: gsttaglist.h:152:28: error: conflicting declaration ‘typedef struct _GstTa2013-01-18 10:50:15
450714Core systemtoolchainUNCONFIRMEDsys-libs/glibc-2.16.0: /usr/include/bits/stdlib-ldbl.h:35:1: error: 'qecvt' undeclared here (not in 2013-01-20 01:23:38
451316ApplicationscedkUNCONFIRMEDnet-firewall/conntrack-tools-0.9.14 - parse.c:230:34: error: ‘NULL’ undeclared (first use in this fu2013-01-11 16:17:24
453348Ebuildsmaintainer-wantedUNCONFIRMEDdev-ada/zlib-ada-1.3 - a thick [Ada] binding to the popular compression/decompression library ZLib2013-02-18 20:21:56
453410Developmentphp-bugsUNCONFIRMEDdev-php/PHP_CodeCoverage-1.2.7 - Version Bump2013-02-19 14:37:27
453584EbuildstoveUNCONFIRMEDapp-shells/zsh - prompt_gentoo_setup: replace globally declared variables with local variables2013-01-24 09:42:42
458338DevelopmentcppUNCONFIRMEDdev-libs/boost-1.49.0-r2 with sys-libs/uclibc - In file included from libs/locale/src/posix/codecvt.2013-02-21 02:53:30


back



Support us on Content Nation

New Packages

- as rdf newsfeed
- as rss newsfeed
- as Atom newsfeed
2026-03-23
bpftool - 7.7.0
Ebuild name:

dev-util/bpftool-7.7.0

Description

Tool for inspection and simple manipulation of eBPF programs and maps

Added to portage

2026-03-23

frp - 0.68.0
Ebuild name:

net-vpn/frp-0.68.0

Description

A reverse proxy that exposes a server behind a NAT or firewall to the internet

Added to portage

2026-03-23

libbpf - 1.7.0-r1
Ebuild name:

dev-libs/libbpf-1.7.0-r1

Description

Stand-alone build of libbpf from the Linux kernel

Added to portage

2026-03-23

2026-03-22
XML-Parser - 2.510.0
Ebuild name:

dev-perl/XML-Parser-2.510.0

Description

A perl module for parsing XML documents

Added to portage

2026-03-22

alglib - 4.07.0
Ebuild name:

sci-libs/alglib-4.07.0

Description

Numerical analysis and data processing library

Added to portage

2026-03-22

apprise - 1.9.9
Ebuild name:

dev-python/apprise-1.9.9

Description

Push Notifications that work with just about every platform

Added to portage

2026-03-22

bmake - 20260313
Ebuild name:

dev-build/bmake-20260313

Description

NetBSD's portable make

Added to portage

2026-03-22

chemex - 2026.3.0
Ebuild name:

sci-chemistry/chemex-2026.3.0

Description

Program to fit chemical exchange induced shift and relaxation data

Added to portage

2026-03-22

clang - 23.0.0_pre20260321
Ebuild name:

dev-python/clang-23.0.0_pre20260321

Description

Python bindings for llvm-core/clang

Added to portage

2026-03-22

clang - 23.0.0_pre20260321
Ebuild name:

llvm-core/clang-23.0.0_pre20260321

Description

C language family frontend for LLVM

Added to portage

2026-03-22

clang-common - 23.0.0_pre20260321
Ebuild name:

llvm-core/clang-common-23.0.0_pre20260321

Description

Common files shared between multiple slots of clang

Added to portage

2026-03-22

clang-runtime - 23-r1
Ebuild name:

llvm-runtimes/clang-runtime-23-r1

Description

Meta-ebuild for clang runtime libraries

Added to portage

2026-03-22

cli-helpers - 2.12.0
Ebuild name:

dev-python/cli-helpers-2.12.0

Description

Python helpers for common CLI tasks

Added to portage

2026-03-22

compiler-rt - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/compiler-rt-23.0.0_pre20260321

Description

Compiler runtime library for clang (built-in part)

Added to portage

2026-03-22

compiler-rt-sanitizers - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/compiler-rt-sanitizers-23.0.0_pre20260321

Description

Compiler runtime libraries for clang (sanit

Added to portage

2026-03-22

conky - 1.22.3
Ebuild name:

app-admin/conky-1.22.3

Description

An advanced, highly configurable system monitor for X

Added to portage

2026-03-22

dar - 2.8.4
Ebuild name:

app-backup/dar-2.8.4

Description

A full featured backup tool, aimed for disks

Added to portage

2026-03-22

dvbtune - 0.5-r3
Ebuild name:

media-tv/dvbtune-0.5-r3

Description

simple tuning app for DVB cards

Added to portage

2026-03-22

fatsort - 1.7.1.683
Ebuild name:

sys-fs/fatsort-1.7.1.683

Description

Sorts files on FAT16/32 partitions, ideal for basic audio players

Added to portage

2026-03-22

flang - 23.0.0_pre20260321
Ebuild name:

llvm-core/flang-23.0.0_pre20260321

Description

LLVM's Fortran frontend

Added to portage

2026-03-22

flang-rt - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/flang-rt-23.0.0_pre20260321

Description

LLVM's Fortran runtime

Added to portage

2026-03-22

gcc - 13.4.1_p20260319
Ebuild name:

sys-devel/gcc-13.4.1_p20260319

Description

The GNU Compiler Collection

Added to portage

2026-03-22

gcc - 14.3.1_p20260320
Ebuild name:

sys-devel/gcc-14.3.1_p20260320

Description

The GNU Compiler Collection

Added to portage

2026-03-22

gcc - 15.2.1_p20260321
Ebuild name:

sys-devel/gcc-15.2.1_p20260321

Description

The GNU Compiler Collection

Added to portage

2026-03-22

gi-docgen - 2026.1
Ebuild name:

dev-util/gi-docgen-2026.1

Description

A documentation generator for GObject-based libraries

Added to portage

2026-03-22

gnome-shell-extension-appindicator - 64
Ebuild name:

gnome-extra/gnome-shell-extension-appindicator-64

Description

Support legacy, AppIndicators and KStatusNotifier

Added to portage

2026-03-22

gnome-shell-extension-desktop-icons-ng - 50.0.0
Ebuild name:

gnome-extra/gnome-shell-extension-desktop-icons-ng-50.0.0

Description

Desktop icon support for GNOME Shell

Added to portage

2026-03-22

i3 - 4.25.1
Ebuild name:

x11-wm/i3-4.25.1

Description

An improved dynamic tiling window manager

Added to portage

2026-03-22

keepassxc - 2.8.0_pre260316
Ebuild name:

app-admin/keepassxc-2.8.0_pre260316

Description

KeePassXC - KeePass Cross-platform Community Edition

Added to portage

2026-03-22

lego - 4.33.0
Ebuild name:

app-crypt/lego-4.33.0

Description

Let's Encrypt/ACME client (like certbot or acme.sh) and library written in Go

Added to portage

2026-03-22

libclc - 23.0.0_pre20260321
Ebuild name:

llvm-core/libclc-23.0.0_pre20260321

Description

OpenCL C library

Added to portage

2026-03-22

libcxx - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/libcxx-23.0.0_pre20260321

Description

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

Added to portage

2026-03-22

libcxxabi - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/libcxxabi-23.0.0_pre20260321

Description

Low level support for a standard C++ library

Added to portage

2026-03-22

libgcc - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/libgcc-23.0.0_pre20260321

Description

Compiler runtime library for clang, compatible with libgcc_

Added to portage

2026-03-22

libunwind - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/libunwind-23.0.0_pre20260321

Description

C++ runtime stack unwinder from LLVM

Added to portage

2026-03-22

libuv - 1.52.1
Ebuild name:

dev-libs/libuv-1.52.1

Description

Cross-platform asychronous I/O

Added to portage

2026-03-22

linode-cli - 5.66.0
Ebuild name:

app-admin/linode-cli-5.66.0

Description

Official command-line interface for interacting with the Linode API

Added to portage

2026-03-22

lit - 23.0.0_pre20260321
Ebuild name:

dev-python/lit-23.0.0_pre20260321

Description

A stand-alone install of the LLVM suite testing tool

Added to portage

2026-03-22

lld - 23.0.0_pre20260321
Ebuild name:

llvm-core/lld-23.0.0_pre20260321

Description

The LLVM linker (link editor)

Added to portage

2026-03-22

lldb - 23.0.0_pre20260321
Ebuild name:

llvm-core/lldb-23.0.0_pre20260321

Description

The LLVM debugger

Added to portage

2026-03-22

llvm - 23.0.0_pre20260321
Ebuild name:

dev-ml/llvm-23.0.0_pre20260321

Description

OCaml bindings for LLVM

Added to portage

2026-03-22

llvm - 23.0.0_pre20260321
Ebuild name:

llvm-core/llvm-23.0.0_pre20260321

Description

Low Level Virtual Machine

Added to portage

2026-03-22

llvm-common - 23.0.0_pre20260321
Ebuild name:

llvm-core/llvm-common-23.0.0_pre20260321

Description

Common files shared between multiple slots of LLVM

Added to portage

2026-03-22

lvm2 - 2.03.39
Ebuild name:

sys-fs/lvm2-2.03.39

Description

User-land utilities for LVM2 (device-mapper) software

Added to portage

2026-03-22

mac - 12.60
Ebuild name:

media-sound/mac-12.60

Description

Monkey's Audio Codecs

Added to portage

2026-03-22

mlir - 23.0.0_pre20260321
Ebuild name:

llvm-core/mlir-23.0.0_pre20260321

Description

Multi-Level Intermediate Representation (library only)

Added to portage

2026-03-22

moolticute - 9999
Ebuild name:

app-crypt/moolticute-9999

Description

Mooltipass crossplatform daemon/tools

Added to portage

2026-03-22

mpg123-el - 1.65
Ebuild name:

app-emacs/mpg123-el-1.65

Description

Emacs front-end to mpg123 audio player and OggVorbis audio player

Added to portage

2026-03-22

mstpd - 0.1.1
Ebuild name:

net-misc/mstpd-0.1.1

Description

Multiple spanning tree protocol daemon

Added to portage

2026-03-22

mypy - 1.19.1-r1
Ebuild name:

dev-python/mypy-1.19.1-r1

Description

Optional static typing for Python

Added to portage

2026-03-22

mypy - 1.19.1-r2
Ebuild name:

dev-python/mypy-1.19.1-r2

Description

Optional static typing for Python

Added to portage

2026-03-22

noto-emoji - 20250912-r1
Ebuild name:

media-fonts/noto-emoji-20250912-r1

Description

Google Noto Emoji fonts

Added to portage

2026-03-22

onlyoffice-bin - 9.3.1-r1
Ebuild name:

app-office/onlyoffice-bin-9.3.1-r1

Description

A free and open source office and productivity suite (binary ver

Added to portage

2026-03-22

openmp - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/openmp-23.0.0_pre20260321

Description

OpenMP runtime libraries for LLVM/clang compiler

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 22.1.0-r1
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-22.1.0-r1

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 22.1.1
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-22.1.1

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 23.0.0.9999
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-23.0.0.9999

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 23.0.0_pre20260307
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-23.0.0_pre20260307

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 23.0.0_pre20260314
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-23.0.0_pre20260314

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-amdgcn-amd-amdhsa - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/openmp-amdgcn-amd-amdhsa-23.0.0_pre20260321

Description

OpenMP target library for amdgcn devices

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 22.1.0-r1
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-22.1.0-r1

Description

OpenMP target library for nvptx64 devices

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 22.1.1
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-22.1.1

Description

OpenMP target library for nvptx64 devices

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 23.0.0.9999
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-23.0.0.9999

Description

OpenMP target library for nvptx64 devices

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 23.0.0_pre20260307
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-23.0.0_pre20260307

Description

OpenMP target library for nvptx64 devic

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 23.0.0_pre20260314
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-23.0.0_pre20260314

Description

OpenMP target library for nvptx64 devic

Added to portage

2026-03-22

openmp-nvptx64-nvidia-cuda - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/openmp-nvptx64-nvidia-cuda-23.0.0_pre20260321

Description

OpenMP target library for nvptx64 devic

Added to portage

2026-03-22

openmp-spirv64-intel - 23.0.0_pre20260321
Ebuild name:

llvm-runtimes/openmp-spirv64-intel-23.0.0_pre20260321

Description

OpenMP target library for spirv64 Intel devic

Added to portage

2026-03-22

papers - 49.5
Ebuild name:

app-text/papers-49.5

Description

A document viewer for the GNOME desktop

Added to portage

2026-03-22

polly - 23.0.0_pre20260321
Ebuild name:

llvm-core/polly-23.0.0_pre20260321

Description

Polyhedral optimizations for LLVM

Added to portage

2026-03-22

pytest-cov - 7.1.0
Ebuild name:

dev-python/pytest-cov-7.1.0

Description

pytest plugin for coverage reporting

Added to portage

2026-03-22

pytest-subprocess - 1.5.4
Ebuild name:

dev-python/pytest-subprocess-1.5.4

Description

A plugin to fake subprocess for pytest

Added to portage

2026-03-22

shadow - 4.19.4
Ebuild name:

sys-apps/shadow-4.19.4

Description

Utilities to deal with user accounts

Added to portage

2026-03-22

slack - 4.48.102
Ebuild name:

net-im/slack-4.48.102

Description

Team collaboration tool

Added to portage

2026-03-22

spamassassin - 4.0.2-r1
Ebuild name:

mail-filter/spamassassin-4.0.2-r1

Description

An extensible mail filter which can identify and tag spam

Added to portage

2026-03-22

vdo - 8.3.2.1
Ebuild name:

sys-block/vdo-8.3.2.1

Description

Userspace tools for managing VDO volumes.

Added to portage

2026-03-22

vivaldi - 7.9.3970.41
Ebuild name:

www-client/vivaldi-7.9.3970.41

Description

A browser for our friends

Added to portage

2026-03-22

vivaldi-snapshot - 7.9.3970.37
Ebuild name:

www-client/vivaldi-snapshot-7.9.3970.37

Description

A browser for our friends

Added to portage

2026-03-22

vlc - 4.0.0_pre20260320
Ebuild name:

media-video/vlc-4.0.0_pre20260320

Description

Media player and framework with support for most multimedia files

Added to portage

2026-03-22

wayland - 1.25.0-r1
Ebuild name:

dev-libs/wayland-1.25.0-r1

Description

Wayland protocol libraries

Added to portage

2026-03-22

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