9.1-1 · Tags · Arch Linux / Packaging / Packages / haskell-sbv

Due to an influx of spam, we have had to require each new account to be manually approved. Please register an account and then write an email to accountsupport@archlinux.org to get it approved. Sorry for the inconvenience.

9.1-1 protected

Felix Yan

@felixonmars

bad27d57 · upgpkg: 9.1-1: rebuild with cryptol 3.0.0, sbv 9.1, what4 1.4 · Oct 04, 2023

Unverified

Package release 9.1-1

Admin message