%FILENAME%
haskell-tamarin-prover-theory-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.8.0-34

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3634649

%ISIZE%
27461026

%MD5SUM%
1def9af6b7a605e8c8527a6159dc3d45

%SHA256SUM%
c804cc99242ee0a66c269caa7847a762dc137e0ba6f86203560dcc126608ca3b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEKAACgkQrx0hme8KPM8Ttw/9E5Oh/w0J6pNMqt8hwKCfoFs+VANE+m1GyT9cR/aJUol0x27nog1uDYF0uGjSK/Tp2ksePn8427UGx1n6w/8R5bLawdxq6Fy6Rp/G3rCET31KUYUDGDxFIyp9mBYOTOU58MAcHTCMxt1gCuEQ8x0yte/OkOPoCQOuidOlToYYLNEMj6/uNbFGT730NNEUJkNb9T8spxKH9HpOUacfZ1Fr+hBgQUQvTL0KbFwY26KITGQPFw5LREKqYDPx7vqja4vC95G666s3kuX9aCSMoFzT5O54lq+1O1cpJIy5R38ViVNx3m7dcFZDspMUJ/5+AVgu/KCMhnpRp5wfLknITkghqA8vadgYstzuwLtNP7n6RWtlTDuvlAz/U9Oc9Igk22cNEY67rE5bKaRUYVGBmFpSAZAxGCk/9c8xccgMgLnTfmdfyE8OQiqoFhra0LjamS3dXz35Elq3t/8qkiYmXUJVIsm18t9h008dy2YWWRP6DoUoUEjtSa3JHy/nQ7J/ZQIL8cFb0iQ4eYwTGy5eU8dgjYI8jSgDhMt9FwNPuy3qZHEAGZ+aHzuGZYEUeF3F+bPnt4um/GAaCQO10w6pD5ATJW7wt/7JrQJ1wpMBqWwN3syNtmDriSxJobwGhRPVnM3XIshkh6IHhm/D1SiePJcpAxJzFR7vSI0YyFAxgbj6bWI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340948

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

