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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-96

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

%CSIZE%
3036692

%ISIZE%
22845719

%SHA256SUM%
90d54e171da583bb768008f7b6680adc3b9184c74ea62a5f08dd84f7dd0734d1

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM8pFBAAlFe1aCEc3XBp0hqzs5U8mJuMm5gAa7CuZKUXxp4srUcTKqWNPQLSrK3Olk9Wnwab/AKEkMp8DjHKF/H1dCQOcWWjdK2VjdrvtW1kXHTQKzwM0WWK19n2ejcIEEWLj7XpvgTwgG3Vj8L238OjKdUoZ/mETc8aHadiiKWlLdontJuMISukHIYBg7701IhqZMvqXGpjl4ki5p7QrjAB8sDtwceI29TjVA+txZaAqS+epfjTBy90vCwraINkYjlWpSgJNP8+CxB0U2oZYsQuK6jbdvGBv2JWkufmYJ7bjDEg+owrwP45ba6NEwoZUA3FzwDHIk9w3S+P/tX7DGvQvSnDqGFhnIVWqODZORDSi0Mf/EhGYjjNh6r9WxVc1CtquJrtgvNdWh85A9Y/K5RMaFrdbuDdwm8mzmzKgChdleUftItCotZqi8bVlRNqOCmihb5Xs/MhMdr0D1HwqwQqmrJ9Cspvx+s45yitzoLcRc6lRZrhniVGN2ZAmRqkjgEaUU9wQlFYz0Nrk3G9NE9O6PNX/tMkR1+XYEP09ddZIJ7WFrA1/oymhLhQLdWSpd05cgixzQF3rnKKpgnazBMgL/BCm2PIwpx6Rx0QshkhCGU0l6Y5oe1oMJeKS0KW3tGJsk0QVMpvSZGAEAF8s/F4aLxeEjUazQYNo3foxF8Hawd+EFc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754610

%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

