Name:

lib32-nss 3.97-1 x86_64

Denoscription:

Network Security Services (32-bit)

Name:

minizip 1:1.3.1-1 x86_64

Denoscription:

Mini zip and unzip based on zlib

Name:

zlib 1:1.3.1-1 x86_64

Denoscription:

Compression library implementing the deflate compression method found in gzip and PKZIP

Name:

lib32-zlib 1.3.1-1 x86_64

Denoscription:

Compression library implementing the deflate compression method found in gzip and PKZIP (32-bit)

Name:

btrfs-progs 6.7-1 x86_64

Denoscription:

Btrfs filesystem utilities

Name:

idris 1.3.4-184 x86_64

Denoscription:

Functional Programming Language with Dependent Types

Name:

ihaskell 0.10.4.0-55 x86_64

Denoscription:

A Haskell backend kernel for the Jupyter project.

Name:

mighttpd2 4.0.3-81 x86_64

Denoscription:

High performance web server on WAI/warp

Name:

misfortune 0.1.2.1-47 x86_64

Denoscription:

fortune-mod clone

Name:

pandoc-cli 0.1.1.1-48 x86_64

Denoscription:

Conversion between documentation formats

Name:

pandoc-crossref 0.3.16.0-96 x86_64

Denoscription:

Pandoc filter for cross-references

Name:

pandoc-plot 1.8.0-34 x86_64

Denoscription:

A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice.

Name:

postgrest 10.0.0-202 x86_64

Denoscription:

REST API for any Postgres database

Name:

shellcheck 0.9.0-76 x86_64

Denoscription:

Shell noscript analysis tool

Name:

stack 2.7.5-413 x86_64

Denoscription:

The Haskell Tool Stack

Name:

stylish-haskell 0.13.0.0-118 x86_64

Denoscription:

Haskell code prettifier

Name:

taffybar 4.0.1-57 x86_64

Denoscription:

A desktop bar similar to xmobar, but with more GUI

Name:

tamarin-prover 1.8.0-58 x86_64

Denoscription:

The Tamarin prover for security protocol analysis

Name:

taskell 1.11.4-407 x86_64

Denoscription:

A command-line kanban board/task manager

Name:

uusi 0.4.3.0-23 x86_64

Denoscription:

Tweak .cabal files

Name:

xmobar 0.46-115 x86_64

Denoscription:

Minimalistic Text Based Status Bar