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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-75

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

%CSIZE%
3036624

%ISIZE%
22786175

%SHA256SUM%
3f2b31161471c9f1fb497bf452d1d7181ec9c61b06623216f2f027a939116a36

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq5/SUACgkQeGxj8zDXy5JWkw//dYthDqmBHDbJd4pFhL8h0IidxOo+gpBvA8ZgbMksz7J4mg+ODEhj4f7yoys/l8IXcUr3WKUBCkvw8ctM3ux2rZk0EsNsbuY3WvFIhW7LhQdkSnUczkIkB/SZI4os9Iluz3k8UeXt7HH71veFeNxZ5D4CCpgAPlcZaSuz8zOoh/LljoPrUvE160GudI9hltbfRqswY54m3kpbyCjPCiKncjumClATVpWhbmjN2Q46Yat7bnXFG9JnO98eCDTGdGtTEII+qgk5CmfqkG6AFsO1ms5AOzQQkRsl8uDiLESeEleo8CLoFM1shpgEXwcu8drQEtnXHFGqH27GG+bS+NnNpSkut5xUMtUPGiHWodq9YAolSWQMHrGEITF3N/0X1GlZ3ABdoqXDqMDA1hpirRw7Wu8muNaxYmSpjj2Q/KGMJAGij1uZhPK+wMqU1wg7SBll+ePGrM/Uv4VVLcpSRyt50oBl/wGIQ+AG1lG/B7LwbZvyX4fEOug9SFI20MhPSUCsMtmo2dL1vFke542ZN18RRtCjyc0q+SV8UwiYBiM0i7MikQoXc0dJ1dCJIua7F4Rnxv0mHnOOvE7JMhQne1gNPdhKZ+fYSO+zXUmndnF0hpjf4iXK9sD+F4bC1Lvz0rqTfTj7Sbj6+lVccUdfFdy+qDarsbvQhwnmBi+hjiwJGqk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790573770

%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

