1.4.1-341 · Tags · Arch Linux / Packaging / Packages / tamarin-prover

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.4.1-341 protected

Felix Yan

@felixonmars

dd1d5313 · rebuild with fclabels 2.0.4 (with correct patch for template-haskell 2.16) · May 20, 2020

Package release 1.4.1-341

Admin message