x86_64 | extra | pkgstats | 3.2.4-1 | Submit a list of installed packages to the Arch Linux project | 2022-08-10 |
x86_64 | community | fio | 3.31-1 | Scriptable I/O tool for storage benchmarks and drive testing | 2022-08-10 |
x86_64 | community | bitwarden | 2022.8.0-1 | A secure and free password manager for all of your devices | 2022-08-10 |
x86_64 | extra | tracker3 | 3.3.3-1 | Desktop-neutral user information store, search tool and indexer | 2022-08-10 |
x86_64 | extra | tracker3-docs | 3.3.3-1 | Desktop-neutral user information store, search tool and indexer (documentation) | 2022-08-10 |
x86_64 | multilib | lib32-gdk-pixbuf2 | 2.42.9-1 | An image loading library (32-bit) | 2022-08-10 |
x86_64 | extra | wpebackend-fdo | 1.12.1-1 | Freedesktop.org backend for WPE WebKit | 2022-08-10 |
x86_64 | testing | nfs-utils | 2.6.2-1 | Support programs for Network File Systems | 2022-08-10 |
x86_64 | testing | nfsidmap | 2.6.2-1 | Library to help mapping IDs, mainly for NFSv4 | 2022-08-10 |
x86_64 | community | coq | 8.15.0-3 | Formal proof management system | 2022-08-10 |
x86_64 | community | coq-doc | 8.15.0-3 | HTML and PDF documentation for the Coq proof assistant | 2022-08-10 |
x86_64 | community | coqide | 8.15.0-3 | GTK-based graphical interface for the Coq proof assistant | 2022-08-10 |
x86_64 | community | lablgtk3 | 3.1.2-3 | An Objective Caml interface to gtk3 | 2022-08-10 |
x86_64 | community | ocaml-cairo | 0.6.3-2 | OCaml binding to Cairo, a 2D Vector Graphics Library | 2022-08-10 |
x86_64 | community | ocaml-stdio | 0.15.0-2 | Standard IO Library for OCaml | 2022-08-10 |
x86_64 | extra | brltty | 6.5-2 | Braille display driver for Linux/Unix | 2022-08-10 |
x86_64 | extra | brltty-udev-generic | 6.5-2 | Generic udev rules for brltty | 2022-08-10 |
x86_64 | extra | xdg-user-dirs | 0.18-1 | Manage user directories like ~/Desktop and ~/Music | 2022-08-10 |
x86_64 | extra | lablgtk2 | 2.18.12-2 | An Objective Caml interface to gtk2 | 2022-08-10 |
x86_64 | community | ocaml-base | 0.15.0-2 | Full standard library replacement for OCaml | 2022-08-10 |
x86_64 | extra | gnome-chess | 42.1-1 | Play the classic two-player boardgame of chess | 2022-08-10 |
x86_64 | extra | ocaml-ctypes | 0.20.1-1 | Library for binding to C libraries using pure OCaml | 2022-08-10 |
x86_64 | community | camlp5 | 8.0-4 | A preprocessor-pretty-printer of OCaml. | 2022-08-10 |
x86_64 | extra | ocaml-integers | 0.7.0-1 | Library for binding to C libraries using pure OCaml | 2022-08-10 |
x86_64 | extra | ocaml-bigarray-compat | 1.0.0-3 | Compatibility library to use Stdlib.Bigarray when possible | 2022-08-10 |
x86_64 | community | ocaml-sexplib0 | 0.15.1-2 | Library containing the definition of S-expressions and some base converters | 2022-08-10 |
x86_64 | testing | rsync | 3.2.5pre2-1 | A fast and versatile file copying tool for remote and local files | 2022-08-10 |
x86_64 | community | rocksdb | 7.4.5-1 | Embedded key-value store for fast storage | 2022-08-10 |
x86_64 | extra | gdk-pixbuf2 | 2.42.9-1 | An image loading library | 2022-08-10 |
x86_64 | extra | gdk-pixbuf2-docs | 2.42.9-1 | An image loading library (documentation) | 2022-08-10 |
x86_64 | community | stack | 2.7.5-109 | The Haskell Tool Stack | 2022-08-10 |
x86_64 | community | darcs | 2.16.5-49 | A distributed, interactive, smart revision control system | 2022-08-10 |
x86_64 | community | libguestfs | 1.48.4-2 | Access and modify virtual machine disk images | 2022-08-10 |
x86_64 | community | ocaml-stdlib-shims | 0.3.0-5 | Shim to substitute `Pervasives` with `Stdlib` before 4.08 | 2022-08-10 |
x86_64 | community | ocaml-ppx_derivers | 1.2.1-9 | Shared deriving plugin registry | 2022-08-10 |
x86_64 | community | camlp-streams | 5.0.1-1 | The Stream and Genlex libraries for use with Camlp4 and Camlp5. | 2022-08-10 |
x86_64 | community | haskell-language-server | 1.3.0.0-243 | LSP server for GHC | 2022-08-10 |
any | community | dark-reader | 4.9.53-1 | Inverts brightness of web pages and aims to reduce eyestrain while browsing the web (unpacked webextension) | 2022-08-10 |
any | community | firefox-dark-reader | 4.9.53-1 | Inverts brightness of web pages and aims to reduce eyestrain while browsing the web | 2022-08-10 |
any | community | thunderbird-dark-reader | 4.9.53-1 | Inverts brightness of web pages and aims to reduce eyestrain while browsing the web | 2022-08-10 |
x86_64 | community | haskell-hls-stylish-haskell-plugin | 1.0.0.2-207 | Integration with the Stylish Haskell code formatter | 2022-08-10 |
x86_64 | community | haskell-hls-ormolu-plugin | 1.0.1.0-211 | Integration with the Ormolu code formatter | 2022-08-10 |
x86_64 | community | haskell-hls-pragmas-plugin | 1.0.1.1-2 | Pragmas plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-fourmolu-plugin | 1.0.0.2-214 | Integration with the Fourmolu code formatter | 2022-08-10 |
x86_64 | community | haskell-hls-eval-plugin | 1.1.2.0-208 | Eval plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-haddock-comments-plugin | 1.0.0.3-205 | Haddock comments plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-module-name-plugin | 1.0.0.1-205 | Module name plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-call-hierarchy-plugin | 1.0.1.0-4 | Call hierarchy plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-floskell-plugin | 1.0.0.1-207 | Integration with the Floskell code formatter | 2022-08-10 |
x86_64 | community | haskell-hls-retrie-plugin | 1.0.1.1-204 | Retrie integration plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-test-utils | 1.1.0.0-205 | Utilities used in the tests of Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-explicit-imports-plugin | 1.0.1.0-204 | Explicit imports plugin for Haskell Language Server | 2022-08-10 |
x86_64 | community | haskell-hls-hlint-plugin | 1.0.1.1-204 | Hlint integration plugin with Haskell Language Server | 2022-08-10 |
x86_64 | community | postgrest | 9.0.1-2 | REST API for any Postgres database | 2022-08-10 |
x86_64 | community | dune | 3.4.1-2 | A composable build system for OCaml (formerly jbuilder) | 2022-08-10 |
x86_64 | extra | ocaml-topkg | 1.0.5-1 | A packager for distributing OCaml software | 2022-08-10 |
any | testing | intel-ucode | 20220809-1 | Microcode update files for Intel CPUs | 2022-08-10 |
x86_64 | community | haskell-ghcide | 1.4.2.3-12 | The core of an IDE | 2022-08-10 |
x86_64 | community | hledger-web | 1.26-2 | Web-based user interface for the hledger accounting system | 2022-08-10 |
x86_64 | community | git-annex | 10.20220724-4 | Manage files with git, without checking their contents into git | 2022-08-10 |
x86_64 | community | haskell-hasql-dynamic-statements | 0.3.1-149 | Toolkit for constructing Hasql statements dynamically | 2022-08-10 |
x86_64 | community | haskell-hasql-notifications | 0.2.0.1-22 | LISTEN/NOTIFY support for Hasql | 2022-08-10 |
x86_64 | community | tamarin-prover | 1.6.1-189 | The Tamarin prover for security protocol analysis | 2022-08-10 |
x86_64 | community | haskell-yesod-static | 1.6.1.0-481 | Static file serving subsite for Yesod Web Framework. | 2022-08-10 |
x86_64 | community | haskell-hasql-implicits | 0.1.0.4-11 | Implicit definitions for Hasql, such as default codecs for standard types | 2022-08-10 |
x86_64 | community | haskell-hasql-pool | 0.5.2.2-71 | A pool of connections for Hasql | 2022-08-10 |
x86_64 | community | haskell-hasql-transaction | 1.0.1.1-89 | A composable abstraction over the retryable transactions for Hasql | 2022-08-10 |
x86_64 | community | haskell-yesod | 1.6.2-78 | Creation of type-safe, RESTful web applications. | 2022-08-10 |
x86_64 | community | haskell-yesod-auth | 1.6.10.5-60 | Authentication for Yesod. | 2022-08-10 |
x86_64 | community | haskell-yesod-test | 1.6.14-24 | Integration testing for WAI/Yesod Applications | 2022-08-10 |
x86_64 | community | haskell-hasql | 1.5.0.3-4 | An efficient PostgreSQL driver and a flexible mapping API | 2022-08-10 |
x86_64 | community | xmonad-contrib | 0.17.0-14 | Community-maintained extensions extensions for xmonad | 2022-08-10 |
x86_64 | community | arch-hs | 0.10.2.0-18 | Distribute hackage packages to archlinux | 2022-08-10 |
x86_64 | community | haskell-esqueleto | 3.5.3.0-5 | Type-safe EDSL for SQL queries on persistent backends. | 2022-08-10 |
x86_64 | community | haskell-hls-plugin-api | 1.2.0.1-6 | Haskell Language Server API for plugin communication | 2022-08-10 |
x86_64 | community | haskell-ci | 0.12.1-275 | Cabal package script generator for Travis-CI | 2022-08-10 |
x86_64 | multilib | lib32-cdparanoia | 10.2-4 | Compact Disc Digital Audio extraction tool | 2022-08-10 |
x86_64 | community | ocaml-csexp | 1.5.1-5 | OCaml canonical S-expressions | 2022-08-10 |
x86_64 | extra | ocaml-result | 1.5-7 | Compatibility Result module | 2022-08-10 |
x86_64 | community | hivex | 1.3.21-7 | System for extracting the contents of Windows Registry. | 2022-08-10 |
x86_64 | community | haskell-persistent-mysql | 2.13.0.1-192 | Backend for the persistent library using MySQL database server. | 2022-08-10 |
x86_64 | community | ocaml-num | 1.4-6 | Library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution | 2022-08-10 |
x86_64 | community | haskell-pantry | 0.5.6-6 | Content addressable Haskell package management | 2022-08-10 |
x86_64 | community | libperconaserverclient | 8.0.29_21-1 | Percona Server client libraries | 2022-08-10 |
x86_64 | community | percona-server | 8.0.29_21-1 | Drop-in replacement for MySQL that provides improved performance, diagnostics, instrumentation and MyRocks storage engine | 2022-08-10 |
x86_64 | community | percona-server-clients | 8.0.29_21-1 | Percona Server client tools | 2022-08-10 |
x86_64 | community | haskell-arch-web | 0.1.1-16 | Arch Linux official and AUR web interface binding | 2022-08-10 |
x86_64 | community | cabal-plan | 0.7.2.0-174 | Library and utility for processing cabal's plan.json file | 2022-08-10 |
x86_64 | community | haskell-hls-graph | 1.4.0.0-168 | Haskell Language Server internal graph API | 2022-08-10 |
x86_64 | community | haskell-implicit-hie-cradle | 0.3.0.5-141 | Auto generate hie-bios cradles | 2022-08-10 |
x86_64 | community | ocaml-hashcons | 1.3-5 | OCaml hash-consing library | 2022-08-10 |
x86_64 | community | haskell-hakyll | 4.15.1.1-93 | A static website compiler library | 2022-08-10 |
x86_64 | community | haskell-persistent-postgresql | 2.13.0.3-181 | Backend for the persistent library using postgresql. | 2022-08-10 |
x86_64 | community | pandoc-crossref | 0.3.12.2-144 | Pandoc filter for cross-references | 2022-08-10 |
x86_64 | community | haskell-yesod-form | 1.7.0-242 | Form handling support for Yesod Web Framework | 2022-08-10 |
x86_64 | community | haskell-summoner-tui | 2.0.1.1-380 | Tool for scaffolding fully configured batteries-included production-level Haskell projects using TUI. | 2022-08-10 |
x86_64 | community | ocaml-zarith | 1.12-5 | Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers | 2022-08-10 |
x86_64 | community | xmonad | 0.17.0-14 | Lightweight X11 tiled window manager written in Haskell | 2022-08-10 |
x86_64 | community | shellcheck | 0.8.0-153 | Shell script analysis tool | 2022-08-10 |
x86_64 | community | haskell-butcher | 1.3.3.2-224 | Chops a command or program invocation into digestable pieces. | 2022-08-10 |