1.8.0-16 · 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.8.0-16 protected

Felix Yan

@felixonmars

1b2844a1 · upgpkg: 1.8.0-16: rebuild with indexed-traversable 0.1.3 · Oct 08, 2023

Unverified

Package release 1.8.0-16

Admin message