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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-38

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

%CSIZE%
3036261

%ISIZE%
22831380

%SHA256SUM%
0fccb0c920d1219165d2e2301d429c47cb4a9158c9fface42f82c2e71eada5c0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodl8EACgkQeGxj8zDXy5IdGA//SbX/G5SB08CRicTVnEYvV6IOBVZZC7rwCv+YayjnuiZauqUwB2Q4yTM3AatWlXQW+UDCLusorPq/bLPs4ta+h53ttgeoMhLCf6V84tdx5ELx5NGl147bE2WEyNowYiliSrbEIivEhFwzGp94sQdrIRyOBQWAKik9mlp2Arz7hXEvELmAyKJPu/FCNNQlOC9Ke2hJAEceaK5keBT6McoIk/sB41mRawxNcOnA2WASm7gpmikq48/yKareM6Mlp44QsojEDAT1whQSGsOtg/1WqBZx5eZEH8WASg8DtIBP4AMG05hApsub2DSbUQZ6CwsD8lW96qDw5rhbQ+rP1H88J000dcfxbXQk/UT4hLRU8q/q+CQdVr9h/4ZR0AhnUDIuDRTDnyo+S09baj3QaslcWAAGe32BthWfBKsq+VYmTnu/tvp0434yCH4I5iQVve6itP1Th/yPKQnecOdaxxjc9ZiPHiozqypjQCNu7UUTirgbJ6lmc+9TyLTog+SxWrxELQuqF00En21qBMauS2+0g1g5RL9k0Yo1dPUaJxAqTn2ePWt3fzpWOADgvLOrtHUiuSmvqTkdkVD44gA1nmHPVjcHnGxv8zKayW948nO1Ynp8IGIhpcDXRSDNq05xrz4ZlEipc5vZlUSmb0K6k7lqcMpCxNZuzyan+YmHxVm9Ujw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324224

%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

