1.10.0-137 · Tags · Arch Linux / Packaging / Packages / haskell-tamarin-prover-utils

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.

1.10.0-137 protected

Felix Yan

@felixonmars

904f62d9 · upgpkg: 1.10.0-137: rebuild with cabal-fmt 0.1.7, cabal-install 3.10.3.0,... · Oct 13, 2025

Verified

Package release 1.10.0-137

Admin message