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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-52

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

%CSIZE%
3038207

%ISIZE%
22810462

%SHA256SUM%
5e0a038e2395b512412114f30e46299defd4a153d28c73703ed2dde31792a812

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo67oUACgkQeGxj8zDXy5IodQ/+OBjJwVTxMODy3TJC+jeFmkd0Le1s1mPQo8w7Bu1CcS11xrEUbEnjwzYnAVyAaQV0IPl7iOsML6SAdU3CX5WRAuNITOXYCU5gb6nS6xkM9LKfMFHpGU5UhptWAfGKX1JTq1yHCVIJtzhJP9MpfA6rxwL21Y/w/cx84vE0RW1k6VojPmsjAudMMwAc9BmlNarPbmvMdZ/QsUetOkTx9X2Y/eBZ8eHXGaPbatTtwEA0nWl9hL7pGnpfAZVhSdMwlQs9eZDIbViiksAM1W1b5pJ1WlvUNDBeE+5FHC4eLrxCms18F7rmUpHVMDDsHyQj0jM9Iv1mnB7KETER96SWos4xvDF2/scxUD7di9mSFKmqBy3esRq7AHbK8ahxE7fDVitjOt3k9D1Y2ilsNvXebz1BuUdupkAzfWkZDe59mDawLjrt0u7g0Wx5EIlLnZ4NRLm1hCInayhaOUgs9Y6f5EBoT17WFMNguIRDmYfZH8OWl1Q501TnHODq4u1ZHmNgcsYtBvOosANdxTcJU/kNzAvwQm9UO0fC+fSEWYHbCiUABAGg/csV0gybIOiV1us3CJ5wCZ6tzZQbFOHReXFRUVsvgRnkFyUtwhh8eKD3eUSOQ180lnoJch3CLI/3zqS3m2QN8egk56XTIZNuaS9pZ/lPanG48bbFClwT9nmNo9WyVBc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782246940

%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

