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:

68966

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
2024-09-19
scala-ts-mode - 1.0.0_p20240820
Ebuild name:

app-emacs/scala-ts-mode-1.0.0_p20240820

Description

Emacs Scala Mode via Tree-Sitter

Added to portage

2024-09-19

2024-09-18
awscli - 1.34.21
Ebuild name:

app-admin/awscli-1.34.21

Description

Universal Command Line Environment for AWS

Added to portage

2024-09-18

cherrytree - 1.1.4-r1
Ebuild name:

app-text/cherrytree-1.1.4-r1

Description

A hierarchical note taking application (C++ version)

Added to portage

2024-09-18

gash - 0.3.0-r100
Ebuild name:

app-shells/gash-0.3.0-r100

Description

POSIX-compatible shell written in Guile Scheme

Added to portage

2024-09-18

gnucash - 5.8-r100
Ebuild name:

app-office/gnucash-5.8-r100

Description

A personal finance manager

Added to portage

2024-09-18

incus - 6.0.2
Ebuild name:

app-containers/incus-6.0.2

Description

Modern, secure and powerful system container and virtual machine manager

Added to portage

2024-09-18

libarchive - 3.7.5
Ebuild name:

app-arch/libarchive-3.7.5

Description

Multi-format archive and compression library

Added to portage

2024-09-18

pdfjam - 3.12
Ebuild name:

app-text/pdfjam-3.12

Description

Allows the manipulation of PDF files

Added to portage

2024-09-18

regex-markup - 0.10.0-r3
Ebuild name:

app-misc/regex-markup-0.10.0-r3

Description

A tool to color syslog files as well

Added to portage

2024-09-18

scheme-complete - 0.9.9
Ebuild name:

app-emacs/scheme-complete-0.9.9

Description

Scheme tab-completion and word-completion for Emacs

Added to portage

2024-09-18

scim-bridge-el - 0.8.2-r1
Ebuild name:

app-emacs/scim-bridge-el-0.8.2-r1

Description

a SCIM-Bridge client for Emacs

Added to portage

2024-09-18

scss-mode - 0.5.0_p20180123-r1
Ebuild name:

app-emacs/scss-mode-0.5.0_p20180123-r1

Description

Major mode for editing SCSS files in Emacs

Added to portage

2024-09-18

semi - 1.14.7_p20230811
Ebuild name:

app-emacs/semi-1.14.7_p20230811

Description

A library to provide MIME feature for GNU Emacs

Added to portage

2024-09-18

sysklogd - 2.6.2
Ebuild name:

app-admin/sysklogd-2.6.2

Description

Standard log daemons

Added to portage

2024-09-18
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: 15.3 ms