%FILENAME%
haskell-tamarin-prover-utils-1.8.0-21-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.8.0-21

%DESC%
Utility library for the tamarin prover

%CSIZE%
261810

%ISIZE%
1447917

%MD5SUM%
f8bcd04ffc8f3407d4fc35b699022386

%SHA256SUM%
679fa65af87a362e58bfd629359411b547c8c5e55fa51acfee06c1c8495d7821

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM80wxAA6h9aOnO8yRIyUAr4XzuvYwxpB6JUwEyWwwYg5XGId2C1zbHHROoy/Nlt6KGUgtlsg5FCPRMLmuA4TzaYXfx+MuoAJWzA1nZ3eMyFVgVUy7ddOYQFuiI6fzenk/qPX/mK84VJZVS1q6oNujgrrfYMuIPfpcsBB3AmPBIhe6B50JzS8PweCtLR3NsiJnRrQ2BL21eVvg68V4ItPg4aJGORW1e59O3MRYRKsjeX/fR2FPRmffKunYICV/bSjSVinawrLgszzsRYZhWy4dUktpLTKhtwYnn1zNiupcrm4YEBIjBuA4CU6uTZMCjiEvfe/SsyKB3+0cgJ+Q2RzrVUHKhIoJP5A9om0QhjBWUUn94AhbHCHe7Ol5gJpmfhgvNfFH2yOq0YO2RnByy/h08djP7a7eAgrv8GwA5m3rpOw1hjfgT4Km/2XWOR4lC42uPmG6VrTiPcnjadlkUgygdBYblBQ3+JgYOM3rDBCE3wY6N3W79AtEWHvDpGPzVBfNAO+FnxT8mrOVNZLNsICPrgTy7LdCj2aZkOB2qbwE/58XNHzhZxubZ71af8+Y1C77iYO5UtYpV3qeoT0DMEPjwzCBo0GhzEjdPVf1MbjWBRfhoTmXJbka+W4+z1j1oV61hD+1+ekbO11RA0PWTiS2mJ2cl701lv6tbB7qKnRul+FvIbojk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707338872

%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

