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

Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to accountsupport@archlinux.org, with your desired username, if you want to get access. Sorry for the inconvenience.

1.10.0-22 protected

Felix Yan

@felixonmars

da996e2c · upgpkg: 1.10.0-22: rebuild with cabal-fmt 0.1.6, cabal-install 3.8.1.0,... · Apr 03, 2025

Unverified

Package release 1.10.0-22

Admin message