%FILENAME%
haskell-tamarin-prover-theory-1.10.0-124-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-124

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

%CSIZE%
3040063

%ISIZE%
22725744

%MD5SUM%
2deb9944ce606d1fa3c2b41cfe9fbad1

%SHA256SUM%
b3389a1299d79c6b8d4f267cf641e58de2ae89994818e682200f5879baf882a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNNP8ACgkQeGxj8zDXy5IEXQ//dm3yRaFhHdlCBLNU0MZBeA3JvL7QAmQDPEPSz+IBLjQIPuJ5X71SDHEBuik7F7K+PE6BHIKUArzGu+I+UVq+jB9cbwuIvZH00PI3D9yVwzIHsJmvk/qBhfyC/gZSphkdKQoU4wbKT4mXjgHxo/6tvU1MEcEHKavU9ZmTcoVKfyTVfHkBZUoGr0qq3za6Ce8z6NWK5qkx8lH3mFlIIT7ASgmnGRjmscGqeUx4sJKoogdVGpmjz6us0Xr+JyEWPHN2MU10Mua2KOwHw4z3OqW9hCHQdNBPQRfYepfh8hkcvUFpitcuIBrvzITiDm4FJ9o6s1geZhlFCLw+pbKnQp6WBcoKkH06Ixnm2X1ZpsRsqa43sBIWKr0poodO/JwTMm6XYzU8DhW3wQLwMWBk05fiUvsLZi47+/BzI6kzv6i0sGPKRnjlkVpPzhpMrGPsZ3puIHCRkRJXJJ8Z2S9wpixaRav9yksSDj2yf9SUM0/ZS51UzJ0iKF2j0iwW18xmHx5Pd0kJH5zZ3KeGBp576NKly46M/VmrSZNawCgwzRJgzApTjAJ0lbVX1SuW0aghEpVR8gtM58rsk424npYicgb1NSqT+lwHywhiOsrY+HU/IW2SSmKp4v77eXCTJf+ldZlF5i+AkU8Ddf3GEAO18+PaRr2rtDOoW1L5NbF9k2CLBnQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758278788

%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

