%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-79-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-79

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
265583

%ISIZE%
1406230

%SHA256SUM%
7c1e8074e9df0e0273c426b0eccc3904ea8765e95924a694cfd4f19c49210235

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXn8ACgkQeGxj8zDXy5JOwBAAnzf0h2zTPe6dvvfEGIakL+ThG+JWBrHjxfeNVf52kLSzZuf47EMD91WXgeCfuM5Cyhkz5NjfuDJfmkl5xfYuSz+M255oHRLhrNPjWpeSVcCZl8L9AZtY1gboD2mLBep664wH12/ZIg7a5W+Zt1UiLaTR9z5mKwvMqUESsZU+BV19C255yvD6xSWbv9FgLAzMgFObgLeNRWF5UalUabtXsoyksBZsqx75LKDrj8bdv3014dQuwlNASq5uL0CG54Z9ANEjjg3j3AXb+h3edjBvIFlEXL81RlmDgCK7a57vDE6MBikGEfvAKCRNe81eL4wySKBN0lkqBj0n6hlfxVLOzw/yKT9OzuHp5pMhPd0a85d5IPb/XvoxPxZoihsoAfYoBf+FESzr6zbjKZzQ2I/Fl5h9GctpO+BgWZGqUbLLQFyk/ZmeJ/ElTr9om2azR7WG5ut9TyB9yPk4ZSzVOEJe2XNITiCp+eF74iWBS6tDAmrt91Zs+5riYnMnxrCWaKV1PXemWlBoEz5PXBPhb6e7g9zgG2tOyMFEZ9dRktKGTfy9Fcm9PTjKWPB+r3LrphagyHcz+YevykDqzyreb3smekbSV/s8hyQqIC+UTenVMAoQxo4veabdLT6EcYXsar4C+7kPfO9FAmb8ZdN9CWiGwvBT9cEaA9vQtTi+tX5xJXU=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991975

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

