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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-47

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

%CSIZE%
3035262

%ISIZE%
22831448

%SHA256SUM%
e4aa4e562d9f694092b83263b2be8b02baa4fb40dfc398019059374d2066d65e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo34mkACgkQeGxj8zDXy5LzIBAAvYGUP3HwsBmDRam9EbV1OVaLcBmv7w0eRBeckE2Kd+qETgldr5bhE/ijFQFXEGhvM1qEAuxLwkysqBLHm+LBguxqFvZksZEbHv2kA+chOwYcWOmY7D/Dg0YNKQoKPHq6Weizl+dzwixHhnDqWHpCuoyHby8jDJVZHQAZ/+OV5Ze+/b+JdqOStusMh2WJ74IoIN4OHhs54ErQ2Saj0KD3ENmGV+KuwJfbKr+IrxHp/Lqg5gkzvRwmejznK+GNyrlRJFowqxbyLLXZJEuOLEUR+TYfEK2+IUHVfm4F6X9QDZ0mII28b5owMPYh3fE8rUG9F0mg6WR/J0WwCnZRZi0wBYeJztpjl6nYid7t8wG6Saz2Ab5NPHHTJ9MqjT0iuJnA6wFTAp5pWvYS9Ghlzu8rP6SkScHr4sYQbIjumkvbU6tDknR3ebr2UsQaLARhcJTDfSZTNKfUHc8VFsBzk6YCioSv+03j91d99DC6mzPc31pD2xwpdYGVU7jwoLsKTlEnvyQr2x55uF7jrmXdhhuJN+6fVJXey65iHNdo1r19fO9wu6NaKFjozZ6ENE0GL4hD27mLH4AaQOoN4095ikycW6T2c/tocxfkEqub7ZzAkhyXM7Ih5EzFV9RWMDAlM+I2y6L/BZfyISZ01PrWZ+fbrhm+WQrhuiq9xG499D+Xu0s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782047227

%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

