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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-30

%DESC%
Utility library for the tamarin prover

%CSIZE%
244134

%ISIZE%
1264220

%SHA256SUM%
1d5a58d91057abd0d17b700963f265bb39669ab129c8b0e9ca4edcab28b1bec8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8Sx0ACgkQeGxj8zDXy5Ic7A/+PkL2wk/gDHs2dQTrS/Y0DeHurDlzON1Rk+2RQYPIdjcplll1fhvnzpLYN2eTO2VubrvkIJuAAZMMD/t408muAAdXZkbLHYfKDVVdVNYOck3ERtpIhkndQp5EcZwtjLmtzcW1UoFOdm8xJorwBDIDYamiFrMMB+SjnAmQ1s47yuz0Myrw9SMp5/rwaCHDqrNztv3hILMp3r0PHd9LE5P8Gw7xfkigYIcvdFLBbbPgk9V8ZN6Oday4rw7MD53WQR/vdDukrB/se4HNP08RFhoJKNvWaeDmuX797llPbOPr55G+KSAl+IpnCgF17sR69+XXYx//9l9wCX8zxaipETjxL4asRer70/XlioYErrbNqjj7tn2ogkGI6wbVhoAFLVgEKLgDPJt6Bk2uZ1qt6ucDT9G1enKCwJyZm01GKhtj9FOiF8DzuOmpYAsnRqvYS3OqiVV6levFFPKbpchaVIR0Awgxr2IkZ+ngGOjT0+lyiMZpG2yyYcXYWyBY6fu4PtRxNrA2T8V1LlRu4srnYWfPjzVsngaWmkmAWCyOYm2/EwrjyNFKogM3Dv87lbrhCoIDSTqWp9asXaIDZ1HEkWA7Zc551QH+5rzwIRlQ/AXg6zJD5uReSiv0J31bbCQFKg5GUG2NPZT444UPB4rz2+R4sBITt/rUPtZ83wCA8LXB678=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778141960

%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

