1.10.0-142 · Tags · Arch Linux / Packaging / Packages / haskell-tamarin-prover-export

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-142 protected

Felix Yan

@felixonmars

6c61a83f · upgpkg: 1.10.0-142: rebuild for aeson 2.2.0.0, attoparsec-aeson 2.2.0.0, aws 0.24.2 · Jan 04, 2026

Unverified

Package release 1.10.0-142

Admin message