%FILENAME%
haskell-tamarin-prover-utils-1.6.1-22-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-22

%DESC%
Utility library for the tamarin prover

%CSIZE%
257562

%ISIZE%
1428259

%MD5SUM%
6f58efa9765878d5700370de88b4b8f3

%SHA256SUM%
9f9679032c508d8a4dcdba90e23f4b68e63100eb2e4f39e780b1112aaa427ff9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHdyxMACgkQeGxj8zDXy5JyMw/+NBW0oQOijjc8w+OgFyIXnk+CI3LoWjaKB/QKyFPXvRVd8E6Wp06Ewsj4pcgqW4n2oGADbos2yLLpx4p5Q8DdvnE2KvmG4hQ+Dp0jtD0A92qTXcLiOlN55KcIT0Gnj+959ktIKEmzQdkWHqtVRAbaybNJmBfvjBqRjIBxQ0BYv7nTOkCkTvrG7RXO+cmI7+9DxZKiVD8bA6gwGOKOOD4pigKtNseWrRy5ojvcjwndigEDtWB3igBcgKzqDCVQdUQwXtvW29NStQOkfW7gf3OMKAY4F2waVo9Gnx9rPwZD20bi19NJmIa8BbibWhmB0aL87WHF/cC0zNXU94dkNLee6wT4DUmgVStaVV1ht5UnucfSZHQFoanXNy7JKgB9C6eOiCfClF0BdzXpQD261vjLkt5n0nS+VR9lElBveT0+Rfb+2wacsbNvUewWUg/s0n/3exOo4ty0/jBdCusZi8SLnzNE2jqAM0PGsKBcB969YS1gnYZUB0fayon4sV1cIeMWzeB17Z/x3rOcxmUXof/t7D1S3V3WO/QrnXTDQQvQYdrvGLD3+8sU0pNTsJxdxocs/Ag/q+zksQps14YhnZYHRZz+MqxWxqbDnLBpd1jHSLqJayVeXZ+1/YK81BuslGgmT5aQOzeKgNrMEqROQpW0thpp0T9jjpK9EZJSymKyBxs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1641925372

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

