1.10.0-131 · Tags · Arch Linux / Packaging / Packages / tamarin-prover

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

Felix Yan

@felixonmars

5d27fa41 · upgpkg: 1.10.0-131: rebuild with data-default-class 0.1.2.1 · Aug 24, 2025

Unverified

Package release 1.10.0-131

Admin message