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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-97

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

%CSIZE%
3036141

%ISIZE%
22841394

%SHA256SUM%
a53b946af27b0936859faf5e115e59747ad5d470ae2adcd99cda052b8c74d96b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0pRsACgkQeGxj8zDXy5LoyRAAtwZP9YUOwKKAqiTr3LeRvIdpsjlrbfU95FPBkfkoDc7tTaKAIWLLwSoN7JGjqfKcQuHO6gbBx1qdZlGTt8e5UHLEXG24mjGOeuv/fOW4hcvLsMO21ppLWLzQYzFwzI1kHFjOkZS+3QJrZGlO4blfwKUsAOk/HvSeYpciBSRwtf6+rS3O51XuQVbMqpVsTaj98NPuvHHo2m3Srm8ib88HsTIo7FXjdLxPdTxDPGqVyi6Fo2hSc1uTI8Weuom/FEqlv79BkDhgbZhpyOApwVXE8UxZX604WfcGC8spXxDVX0JSRpWLcrjEkV8xKFjbL9EuDtfF3vUOFpCtaoWfXrRXcoJqpBxEL9rpctIHR0kfZprq6AtExRT1tF2G9f0J1aDSsB6iKf5RZ8UReZ0Q8yzhQKoGO9OMLTp2mHdARSL0dqV9GvxjAfpWCiyqKvgMQTIBZjz4YERjOa22zc7OArj8F34DTfEYVvNXT74FIKUcpnHZxHo2bkWzvVv8WEJBNJDFViWul8Vj2fVLhaTpHrgm24/43PZl6qrLFkb68vhK5ARzIG9HLOh6STxDr1NsKx16hJfd2s2bV5n4wh/7FXKdmd/VE4bYA6NkrvvDJkCeIGbRLrn9cCxL5og6W1uxPCVe6FlwpiaX/yjmVmDe+e5Cz2qzePlbiqQYMBZ4vuFCVxk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794417853

%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

