%FILENAME%
haskell-tamarin-prover-theory-1.6.1-111-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-111

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

%CSIZE%
2824873

%ISIZE%
20680498

%MD5SUM%
3c9885cc7fb945b66d010e37fbb0091a

%SHA256SUM%
881ff7a952f452cd982d59b2161569d111a584e14325df9fe7857f7aa4a5f5bc

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmN8y6oACgkQeGxj8zDXy5L4jRAAsNtuvShpftm5sf/lQQC5TL9l8sgvtTAsrNwxGHoPkL4o4dDNIVtzeJhlCsIAvZTIY6LX+PBz03sRyCoLyG1qfJvz9nCTRBP/gILJ9nychOWtArw6+waOjrWOmTeJIM+fdNzkwsWtVBvgfOO2nJ10pc/ZhGLSCD/vfHxyh0L+A/kAyN8W6v3QzuQl68bJhwTVqPXVBk5jU+Um3OEgB8plFrplQcBRNcOzQfD1AYnOTb8RTYlDuE/oujj3YfzA+hrAEMdfuDvBJtMKckgGBfly5+pRq5Ym7Mtc20mCyXL7BwlIbR+1uMkrPE7XIazWaU0HVeH/40jxHle9syg+lyTwNJoTU9kEUvBFqNWBIdyQLj5ribdgAqpb4auE83A4nHkp+pywd+yVmGUi07AWI68PERi5GpasENL2uZdymJWngLWekLAZRkOAPajCS//+AssVlRZ0nj38ezuUpoVYalXzTNgdO7tRwCakdtUDxGlxtdjgWZD9ucEBZwALr5stpznp/WwBKuqfjXr0SaW+YOBSRfWOHtfKsaySD392j4jGHfvikkRnMN0K5cZU8NX+WxWPgFm04TQG9/Zyl6+CZSGEUEHCsoHl0lOH8MQMXzVrwucEFaa5VDpJ+pXcqdrWQeb1jx96unYdAeU3aVWASFGnqP9ifGph1CpuBu22sI/t0vI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1669122801

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

