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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-80

%DESC%
Utility library for the tamarin prover

%CSIZE%
257750

%ISIZE%
1436715

%MD5SUM%
f6a2c15072bb9d2cabc3be6796bf3d2b

%SHA256SUM%
899b260df964d74cf2bed96a112f3c6086c91d9e72572cfbbffa02fb8632d23f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmR8wngACgkQeGxj8zDXy5KScA/8DuYrT0L3rCQjEok6V/YbdRB5sNsBR2ah5NSPlo8f0w/DoJ0/D3IsS763xNKqHcsB3Loz/IotRnfGn7yeAVC5vJIT2J5z9qXzzvs198liXGhXsSKxlJq56Khkh3Xm6Th/jmUTotAjR8a7MW/hnS7Ps8hK47sl+7z5XkBUa7H+HQvnf20nxFTEtv+shU6WFmRp9DW5avrS26Og7q/TKdqi536JV6zYgPne1PiQe/yR7wAUQ28UZoFPDcuYDsNR3a09KrefwLx6tDpF4deTbQs7FeE8gYXJMvGlFhyinkWkrgbDa9MzkNSDhXNTXf9r7VdEfgLcDeeFNLZuT5hpuuDOBQ8lzLc+hZBFEFdV+EcXDAcZ1ZOcK2rLdw0je3or5wQ7G1zgSurcWoGczLef86JqCQSQx2GpYAhmjUmO7d9bK8pytjH+XHC2lGaHZipjHKscCYkxyItS50dq0YpBReBFKN53gRJ3YdxcjULm0kvHtNai3L/E4qt4K3KsZJPcdocoh/z0koB/zDbNS8PIzCGJo8sIRNM09gUcZ6jr2q1LmgYGNgd91q9QmsrzLlOb+3cxWYmvtbRNT6Tf+/Fx43A0hfpWsJFTq15vojDxIz0c5KcwBnNz1oBNfBUP6xOwAhp2+TYQyjcgkGmrdLZbcI+i4+3XLGH1vANbftYHgBuB8h8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685897800

%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

