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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-27

%DESC%
Utility library for the tamarin prover

%CSIZE%
243691

%ISIZE%
1268421

%MD5SUM%
a25403b7f0b7c20e4ee1ba0a2d78cf2a

%SHA256SUM%
9c83b9b9b7d3f026dbe2f1412edff34a99349b77a9ec26dcfd94b06c9fc1e965

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyHtcACgkQeGxj8zDXy5Lvuw/+LvYUxihm+3zZQ9K7JU80LJrx7kIWnVYLh7tGlB6U1CbYyP6wN42euIf98MXeMHb/fwqhkhXW7Nv9vmSsqg88F7I06c4JT2u4OfaaKEZewqqZl3Sb7uZrMV/3bkNklU0EQgIH8a5a/kga9y0iz/NoWFfuMZZBGJEhwm2Q8gB66sDgjQq2A2eJbnCt/hJqzWV++N1bzPqv4bVeFyYxrDPe7YqWt2dMssmX11EbONC7ajyvCIVaryttuhRP68VLvnwnLhLJk15kEoinQ2jP4pK9Pvrgzz9Dj03C/7BI/HrBAhjgS/bLB31Zz3yVsOJOLb/jivOyjrR9fVNb9F4V3LoEwkXgEI5Y7dj1plZhYSUs19/bHx6WNN7FChiTFQE9OYIKjFYRdEkAbx3lT6nYXJI0YcIYPLT7CNp+LXRWUgE1QYmDjtc/YNFn2V5gy9bIawODgs0o3zMippa8D8oVs4FdwyiFBp8DDS+3/se4JdFQus/vBGrflHMkWbzI0Dbk+Gd/dRX0SJ/WHzx1CTYnlj0/kNyTZiJ/+xvqi0gOVzO+Yfk83dNKWTUTDNlncvto2cH/+rELy7B84BPXmnIwrWHKiOGNDRTSPrpSl2HFU9V7ca3mtEuUm+c8Ws5mcj66zRcrUPrIgvKnLFjCBZyByK4sa+aZ0J6/Kz9+ZiDJ3Ph9+Bs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777475240

%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

