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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-82

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

%CSIZE%
3038166

%ISIZE%
22810338

%SHA256SUM%
5381ef29d931fb02a8a576f9bc53dc034cf407a6f2ed5b80d9538b0eba8c52aa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCVk0ACgkQeGxj8zDXy5JVLhAAsD58YrsBGtunGDm37RBbDno+PKWEQy8cMZJ1Up+gaMqixxasVGQWebRASlQYMIi6zS6oyT0a8G7xQZ40vLmDS5cH51A8BsQApCjSp52OcL356vVtYqwLIUa7WAGnbVlYfDay951R6jzgDfo9U2Hz7K/LpZvUaaG8TTHwfs2uRv7jT3MDOmxtth+BI4GhG+5dGZ5dHY/OaeKZd5QM07FaaQF1y5lyOJsY2t4RwiAsaHbzxXzmudoXd59HOAtgaHeX1/T0eSZLnQdVLpyrfvMCXxhW/vOJ+HIQp2RR6ZSEKAS0Qg8ghWHleXCY1SmULN1UyCvtb820f0Cne8h+CG1DMzeY57fi9RwkYaw3fT0p0V3yg5sNMedGCujf05cVXSZyWH+pbAVMgrM6B6mAW7nPo/QPaGO7wkfTDKrQ5K8Yyu7wl8zKrHJinSJ/4vtPHG3pibD/PWMw1Vdm7iOZ0ATSrVoJy5V8BciwVdTa0jOpBxXU8USb8RwpPT6aH4dka8YCwXI/Q+5pAvkEM74/ggiGAgmK++TOKWcLV6FolI6hVgMd76TNg165L7maQ0tQr8ExYeeyIcbiHCq5nZ07FgwywhosoB5nR5PChJ9GpbLH29wzVXRKsZaIxwpGWz/NTJtMCwBkZwfHEQI6mDMlWI5Ry85YvDGp8EwGYu7t3zQw8eY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791120904

%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

