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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-87

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

%CSIZE%
3036401

%ISIZE%
22830933

%SHA256SUM%
1f5567f215ac02656f17f1d1b17b5f74d82adada336b3bec48de8d5db56ed919

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKqQwACgkQeGxj8zDXy5IqfRAAsyCjjojwA2ATvUw5uFgwCZz5VtCyY8+ba7+yxrFdrEQ1/nTexD7AmQ32yycfT2hqoelYIZQWw0foToyYS5MCm1EuF/CEb0mL+RHDK8sHnAW+ErcdxZT0k0W2fX0nu5dgsAT6qXCnDFhucEquIw6vQ0VyoD+vH1GFp49qnuqy1xPiV0JaG2nIyE3Yw+4Xnu+sA7g6PZEHLIEgaHYu5XaOcUhSmgDwFkS1BgEpJDMJO4hfkLH7HxThCMX7miuYk5NYyuaR6/jy7los7m9O+mN/SFH2jm9HpLKKejRqblsZf56i1JySJd/ictBFpMPEbHL6OlL844dOSQghcfZ/JrNVKGcBOqbWGXvIjdft++o/gOzdZb8mqIqfZLGrnDMylYm7d3JCEx4DcpmApMydqmaUxIPbcKDFap30db23S33PFNk4VT+NJs8n01/BnLx4Bn3u6JIa+LQ2XLVWfU1KGDIbDtPR2wHkFnAbUIGMuzKxsB6XbWdozmxdaQ1PRaaqnJ0kc/mYDIB5L8GGcls+Qvrm2QwtGHTBheU08dCifjHS8rVKtaxPq3TkIf8t7nt7UgFnHHgP19ylSmHJ42yXOlj5sv1Q8OeAXIyWpsaxAmQTOpQHLYiZRf6hbIuWgL3WEPD4tbEb+pHMk+iRwkrtWYndV9gB+/Astgnqq2d+vB4Tb7Y=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791666353

%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

