%FILENAME%
haskell-tamarin-prover-utils-1.12.0-48-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-48

%DESC%
Utility library for the tamarin prover

%CSIZE%
243820

%ISIZE%
1272546

%SHA256SUM%
a104fb7524ef569e3ff0cdcb3a1b756a793d2a70bb99872bc7b4a2f59c96086c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4EBMACgkQeGxj8zDXy5Lj4A/9Hrc5UX6aedubHRsbHfDpVP8na0WWaP/SjM66tuIcE9LK6oaMFyv5IbzAbpJeV4O14pQ/kcdWUVB4mZFMUh6PulXLfFI1c0NpjJIOSC4CNqgu72Drc0ecIRkoHMEGaH13pkeUtfYPdTVR66y5vtWBaqR/DkhUUupSZfxTDMOh9+FFwrAnxq9Z3D/Nm3Eig2kOaWD4j13QMWHgUlsgav2GSpOd43+fR9NEwsaPMeD56ZMaWvwxRfnIevmKlO3MLXCXE9s7qUduVVJFZ99BgLzd1/6B4K1OLS6ndrgtCs2dzMTs6uVV0fwzYm7SV3kQ1648votYUhg5Fn3uF1i6OD55gRDpBLH60p0XcfQxCYd1mfhbF4ybP4Rq/se9McAfu9IipNtvmzL2oYGGf1vMPSUCwI4CiwimSaxkEsDMs/xwG1Pr8cNDb+HqgmzRKVxlACAk55rOAd+GkoZESUG4KgmdX7zfEfI2fzIBS3swNJdrLQQEvcKuauCqEyKpkQuyWb69r/W1z8BO9EyocD2K++1X1FFMLyBfh2W6VRh1CYMZPtqD5maRVOSeRmgvZ5GU8QrJY4+7iVA+49Z2MX0WABB9U1X7YiLqUgbLy650PgOMEXnEm+IQPlgNA3764ERnzC7zdtbLbTakQbY4eKXWHWU0QruB9gbduUfkR5yphGobVu4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782058991

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

