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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-78

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

%CSIZE%
3037956

%ISIZE%
22855556

%SHA256SUM%
7dab79ffc51002b53cce3aa1182305c4decd3aa3b8d8e325be25aa4eb00c70c9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/E58ACgkQeGxj8zDXy5LQtxAAwbKntt3atmx9VbLkjKZLyKI399vw+82PI1Pid0SifphWMM/npQLFHpe56Z8PfslnemkLkLXXKf06iKwVXj+pkSQkjm0Lf3xtAalm3cNnfVo9xCWK4YfQ4Mp9LVvnHbmIbDnpvRoW3gAgLWMJ6bBDCcBQufKa0ArS+058HXB7fafi/t3tUWRNDYoSiD0rP0pbxlHfIUL/D+jRcOmnKnO92sRbapRWegqSsTp9a3q1ReM6weD6nHQRH5dl2SACYcMqYS4BYnzMkqeEPfhxe1ghu8rIGyQoayFuVCF4IRyrxzco2ayFaUk6zgISkYp6MrV+clsM3TTB2ZYKdC6wpW9vZHB4fBBzyvt2GT4WcGSeoFiQuAILg4ALuLnyKJizUYjpJzvWwVgbkSLjESMhG+GTCp5VWsjJvUqMRTlh2soecKiM0mvgNd7mw4lSEgtgKZEBRA0aU9Octv33DtqdiBDda1u2buOv+vla+Dz1TMG48lcQwo4ecqJdsE0zoP0mvizzGtQmbAEvy6VNRe6ncGb7K+JLG+cmqd11cO4ymUqaLJgBcnukMJFBlFsH320l5+fJs/u3Vva6+7U2eXMuV3XHvezWcRD1QQm2o7y4PEDBj7Xy5nQtC0NnRMfKt8UpvkrLVRzsBOQPxxupS2r4VxnPoNF6YmDJUlAepKQRQbH6ov8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907200

%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

