%FILENAME%
haskell-tamarin-prover-theory-1.12.0-63-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-63

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3035810

%ISIZE%
22831100

%SHA256SUM%
ddc60186415341d062d353ef8c97d88ef0e11e8939fcb0b9f7fcf43db279a4a8

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM8SoBAA2DjVQYY0phMN/zChJkXkgA9f4XUzyXkph7luFhIHm8xJOYHrfdxUr0wfSrF8j6PWoDNk4u56mZDn0WdJwX7n4rSyIZvzhC+tVAZVZDjqlTx6pffdbDWqkqMO9KB98MQZ8mrIaF+y3k5bYk2+ZGrrZyPSb1BURPhfHtC1WwBssF9VksG7+hLX4WvwtOjuGGCkn8Q9seHBPYGJQ3eEVvUhIymLbly6uqQCU1nQbI4qV0fWx/hzL3agLzfw0unAPJo7J6s9nPSC0j8lxH3vbu5yhhzjR5TEqCAxg6eK3GlCbjzh3HPBant/nvqoy95mJTJr3cfD2ujFNKZSrd3f5UWeECD2+6k+QgS9YeD70N77PoTUIpTm87rGzVEghrM3i+fpBH27XEzjaotNlNIFCoEB+ahhno1AANZOSTHxQlx57hNO0dZAvOko4rKt7ST7fWGU6bRu4bEwzzVkOyset+uNomrFYA9xbZowwybKDlTzq9LY/BKdAf1eUqjIE+xmO9tGUFyEyysk2VyVZelVkRyVBAeXHyqwVhUNCUZW2GSoBs2mKrX1VD2fVmCHCq5Daq660CWIOukHxj/G/7CnHCOVWguT9vCFqWbZoRR5NLOWBALD26iO2FrUiYOqiz1Dk/DeIayEEEoQuKSMHNbaOVZuBMabX6eEm8kMeU0Lyn04twM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045571

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

