%FILENAME%
haskell-tamarin-prover-theory-1.12.0-35-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-35

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

%CSIZE%
3021755

%ISIZE%
22810623

%MD5SUM%
4a615ee4600a99f49652b5b70698fde9

%SHA256SUM%
4301899ba0473a1211da37b25e8ca075e21e5a76d79f5cbbff68bbbca8001e37

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGt4oACgkQeGxj8zDXy5Ii7xAAqeAo7kAQNxk/bZz6mikkZRVmtCIVA3JHds6zAAcnkasso2w5xmQ0npfUgJ4NEQk/zTANBQOHb1XJP52MP/Djj3E1BB+N/CRsHe2m5Y7+K+EdueP+ExSri3UJ8IMaDg06TDn9d0nRI0A4pSkaAKJecn0sWywr9IundNe8oTHaX+JJxZa++wETrWmm2TZQic2oDvLGYQFwrhgvta8WpnUc1HeQlU+wy/uKeapwBwmv+uV3V882VngRRqy76p5ph4dFXrjrV4srAkE3U0yr0u4vFk+WN8HbSj7CW4CFfJ0V7TBb+UwG81Uu18gdFCC37KRpx/VvB3PJU8mLTqZMCZeKRvtlz2F56GKp4mHwYXL0s4G5VGWEqVwI4ToA43P6RQRO+lYo021gRbF5Mj+bJNulx+xbvRe9aPmL+rqqVulcQ/JQJZqkEbS4rIxu7p0ECZ/4ggV6uwTepMmp6bF5QZhiKN/PwJE6X4mc+zG8Thg5Q0hmg5pINoR7cRvOT41tWU/RhgAvrtBQAuMg/3mBQ1Vh1lIl2YB074BkuNbHjJgjRPaTtJHYWS90gQiTrWerS+nRGpez/7jCTnVfvxMY/XzLTTqjaRsvUvrE37UxEJGSCODRlvROIwA6xTNIujJF+7LPYhqVDlxB27W1pEwqH9y0GOTC9jlJUqduGJxgBVYptiM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778824953

%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

