1.10.0-19 · 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-19 protected

Felix Yan

@felixonmars

fd5d19e3 · upgpkg: 1.10.0-19: rebuild with uuid 1.3.16, uuid-types 1.0.6 · Apr 01, 2025

Unverified

Package release 1.10.0-19

Admin message