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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-3

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

%CSIZE%
2995625

%ISIZE%
22955222

%SHA256SUM%
1a6fd2a4873e9970c8ccda9b429575852e807baf09951e4bf6b6c7cd0c4a77bc

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4P0EACgkQeGxj8zDXy5KP1RAAhZJz3auu+rBtvpl2gYRdfT5yU8yWnqL63J10fvHFkfzC+4NkahRZe8gVoEXSnIS5fhh3EXIvvQdf6/XjnS5DrW1uwNVLmSyyxIP2EWlDE1yo66DpxZDj6VsDtflNnm42Y5KeES9TgcFNth2+oRboQaJSEnGlXduGmpPEnnLF0Ug6Bm2HJbFrtXTyN2laz3GgC1cTg1KrWyBPCSp1AHm+sR+lkq4P7LlwoUELNkTg+4IfcGZSqzEr0+eqzTRhQP65wK6bjLLN6BNozkGRkgXB/q8W6hyt7OFg1ndiqyD5ex/U36Z/Xl/RO7sYUfvnftJVesvEufSXIwj7IZ6H32R7xMQtK3P4jfO1eYGlDMu2Rn6THmdcY0u/FstBeX2yFI7oM/v/pIjB9Zw6OepAzsvjj+GBeffrCqn7eVVSJWzy91NUjnwj0JWKANOV/KcUw2kegHSBdu5paMoBXebSbpQ4d1Nc+A7RjLWvlm0pK7luO1XNw4/X84FVyQ/0Xckp1FojEP0SDiN2RM8bjpa0zyEoFtSrW5VDmQeR4nWclDpfurf+Z3BXd69G9RW/0KfVeQ78eOoK6l+m/ok7avjf+uf67QKNtlk2ob2ZMj6OOsU9oGWMLJKimH3W/f70/p0hcqHP+fPjVTkDZLujXh4qCAotnQsZZqFy/R5gh7qmac0rSes=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933635

%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

