Arch Linux 64-bit - Latest Updated Packages

haskell-sdl2 2.5.5.1-1 x86_64 (%2025/%04/%04 %13:%Apr)Both high- and low-level bindings to the SDL library

haskell-sdl2-ttf 2.1.3-151 x86_64 (%2025/%04/%04 %13:%Apr)Bindings to SDL2_ttf

allure 0.11.0.0-185 x86_64 (%2025/%04/%04 %13:%Apr)Near-future Sci-Fi roguelike and tactical squad combat game

haskell-lambdahack 0.11.0.1-58 x86_64 (%2025/%04/%04 %13:%Apr)A game engine library for tactical squad ASCII roguelike dungeon crawlers

workerd 1.20250404.0-1 x86_64 (%2025/%04/%04 %13:%Apr)The JavaScript / Wasm runtime that powers Cloudflare Workers

scrcpy 3.2-1 x86_64 (%2025/%04/%04 %13:%Apr)Display and control your Android device

haskell-simple-smt 0.9.8-1 x86_64 (%2025/%04/%04 %13:%Apr)A simple way to interact with an SMT solver process

python-pydantic-core 2:2.33.1-1 x86_64 (%2025/%04/%04 %13:%Apr)Core validation logic for pydantic written in rust

rpi-imager 1.9.3-1 x86_64 (%2025/%04/%04 %13:%Apr)Raspberry Pi Imaging Utility

cryptol 3.1.0-31 x86_64 (%2025/%04/%04 %13:%Apr)The Language of Cryptography

nextcloud-client 2:3.16.2-2 x86_64 (%2025/%04/%04 %13:%Apr)Nextcloud desktop client

python-pynitrokey 0.8.1-1 any (%2025/%04/%04 %13:%Apr)A command line interface for the Nitrokey FIDO2 and Nitrokey Start

python-pydantic 2.11.2-1 any (%2025/%04/%04 %13:%Apr)Data parsing and validation using Python type hints

apprise 1.9.3-1 any (%2025/%04/%04 %13:%Apr)Push Notifications that work with just about every platform

python-nitrokey 0.3.1-1 any (%2025/%04/%04 %13:%Apr)Python SDK for Nitrokey devices

haskell-versions 6.0.5-1 x86_64 (%2025/%04/%04 %13:%Apr)Types and parsers for software version numbers

haskell-what4 1.5.1-56 x86_64 (%2025/%04/%04 %13:%Apr)Solver-agnostic symbolic values support for issuing queries

hledger-ui 1.32.1-123 x86_64 (%2025/%04/%04 %13:%Apr)Curses-style terminal interface for the hledger accounting system

idris 1.3.4-276 x86_64 (%2025/%04/%04 %13:%Apr)Functional Programming Language with Dependent Types

haskell-sandwich 0.1.5.2-40 x86_64 (%2025/%04/%04 %13:%Apr)Yet another test framework for Haskell

hledger-iadd 1.3.20-88 x86_64 (%2025/%04/%04 %13:%Apr)A terminal UI as drop-in replacement for hledger add

haskell-brick 1.8-1 x86_64 (%2025/%04/%04 %13:%Apr)A declarative terminal user interface library

haskell-fsnotify 0.4.1.0-40 x86_64 (%2025/%04/%04 %13:%Apr)Cross platform library for file change notification.

haskell-hakyll 4.16.1.0-73 x86_64 (%2025/%04/%04 %13:%Apr)A static website compiler library

xmonad-extras 0.17.2-43 x86_64 (%2025/%04/%04 %12:%Apr)Third party extensions for xmonad with wacky dependencies

xmonad-dbus 0.1.0.2-102 x86_64 (%2025/%04/%04 %12:%Apr)XMonad DBus monitor application and library to easily connect XMonad with Polybar

xmonad-contrib 0.18.1-27 x86_64 (%2025/%04/%04 %12:%Apr)Community-maintained extensions for xmonad

xmonad 0.18.0-42 x86_64 (%2025/%04/%04 %12:%Apr)Lightweight X11 tiled window manager written in Haskell

taffybar 4.0.3-45 x86_64 (%2025/%04/%04 %12:%Apr)A desktop bar similar to xmobar, but with more GUI

tamarin-prover 1.10.0-43 x86_64 (%2025/%04/%04 %12:%Apr)The Tamarin prover for security protocol analysis

xmobar 0.49-5 x86_64 (%2025/%04/%04 %12:%Apr)Minimalistic Text Based Status Bar

stack 2.9.1-117 x86_64 (%2025/%04/%04 %12:%Apr)The Haskell Tool Stack

stylish-haskell 0.14.4.0-3 x86_64 (%2025/%04/%04 %12:%Apr)Haskell code prettifier

pandoc-plot 1.9.1-37 x86_64 (%2025/%04/%04 %12:%Apr)A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice.

postgrest 10.0.0-315 x86_64 (%2025/%04/%04 %12:%Apr)REST API for any Postgres database

shellcheck 0.10.0-38 x86_64 (%2025/%04/%04 %12:%Apr)Shell script analysis tool

pandoc-cli 3.1.12.1-32 x86_64 (%2025/%04/%04 %12:%Apr)Conversion between documentation formats

pandoc-crossref 0.3.18.2-11 x86_64 (%2025/%04/%04 %12:%Apr)Pandoc filter for cross-references

kmonad 0.4.3-30 x86_64 (%2025/%04/%04 %12:%Apr)Advanced keyboard remapping utility

mighttpd2 4.0.3-185 x86_64 (%2025/%04/%04 %12:%Apr)High performance web server on WAI/warp

hslua-cli 1.4.1-78 x86_64 (%2025/%04/%04 %12:%Apr)Command-line interface for Lua

ihaskell 0.10.4.0-134 x86_64 (%2025/%04/%04 %12:%Apr)A Haskell backend kernel for the Jupyter project.

hoogle 5.0.18.4-85 x86_64 (%2025/%04/%04 %12:%Apr)Haskell API Search

hopenpgp-tools 0.23.7-282 x86_64 (%2025/%04/%04 %12:%Apr)hOpenPGP-based command-line tools

hledger-web 1.32.1-145 x86_64 (%2025/%04/%04 %12:%Apr)Web-based user interface for the hledger accounting system

hlint 3.5-3 x86_64 (%2025/%04/%04 %12:%Apr)Source code suggestions

hledger 1.32.1-111 x86_64 (%2025/%04/%04 %12:%Apr)Command-line interface for the hledger accounting system

hindent 5.3.4-189 x86_64 (%2025/%04/%04 %12:%Apr)Extensible Haskell pretty printer

haskell-zinza 0.2-210 x86_64 (%2025/%04/%04 %12:%Apr)Typed templates with jinja like syntax

hedgewars 1.0.2-131 x86_64 (%2025/%04/%04 %12:%Apr)Turn-based strategy artillery game similiar to Worms