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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-77

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

%CSIZE%
3037968

%ISIZE%
22810430

%SHA256SUM%
398e437362b8d65994c2bdf48c130b0cb181ca3662203027fd98d5284a7041ff

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+J/AACgkQeGxj8zDXy5La7BAAq12OqfYA3lLnMECwadLNzHz7sp9lujcQvylBRc50ApLGlTZB89VTPlH76wYnBBLxq/96plcHeDhJBMaEDc2ucd+h4kJ5Yih6nqpgZVxg4kiK6zs/8iTtnjRFmrZt86dfMy2Wn8QXz4I2rMutF8nsLE7rugQWEywY4H9eZOCRgrmjmljTuwFxXn6MTYlYcjAtwNpKcAI/ZpSwX2JjoDV2nwx97j8M7hOsqc/y1LqtPpOS89jJjsK2xXT7VYEjcOqbY0c5bpIk4R/22jWNeY/KSDUt//4UqSO9LYPgErzBxTRSk11i/mWNFUs/eDpo/9BQmwHfjNvyl4e76xHYmk7xiWpd/787mytJhNey2wqn+damnlgclZ+AfTe6v/ttNGJknPIBzQckr2SIqJ78C6TTfCe/MSLTPuy3J2YI/M18Vpwi6PQDDPoq+AjU1ExVmABedSnH7VdAIIKAdMfB9qHfzG2jBwzfUxtZ1ETAr1GkXMzDXBRdYymTutxOGmroS2ghtrsKd5Awoht3qj1SLS4bnKhdIX2gIngBYBaCqcyBGK9v/CPEcP++WwHbDtGAniSfNeFMRsq/7yrL1JTvHiNbaEDI6Iagy0hZzMP7zMw5yUx4WyXiemkkjqpVhOF2IkiUrH8vfVI97O0H4323ff24bbx7YmbQHQ0fWLWUbY0cqrE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846862

%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

