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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-44

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

%CSIZE%
3038612

%ISIZE%
22810936

%SHA256SUM%
9809094f257e7843f9185bb4c34da738251abaec305bd0311178d9b4509830d2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1iqYACgkQeGxj8zDXy5KZwBAAm+UsCkgOkJzBvVqEYtQo4E0IPVyBzqwSx+zIkOKpY6EZwrNkBlgPnmUXR2uscqDSms+EhcFX2aNuorp6LWAieaGzOmysLN7N2/NBNrGQgY76TSsfwe+tYx7RHJ9z0OIohUP5TZnT5/xwDJ5CcPupF84040JAawIhB8i3vkgzSADliDQVqnjSwct8V2s99PWkEbANGtMeV0LBY/2U7SADj1jeXXEukJRoFRwJh8qt1c0kKJJ+OTNhosN60YXQ12GbNyctJ1wqQaYcVLxH92CrN/+SV4c/GUCeT9HfwiRZmeN4MHQJSXe42y2KCc2WrEESw/12eYC/gEXgfEacvnVTK3rh6qXGIZzSjglqqh8e66/3Zh+p0szlID/XektUSgvQtE0QCYCIn7qrhVy7bU9rxuI8yVNkvZNUPNwZ5/1Um92dQqaRMXnncBd0u+CP3sgGAOotJ7LSXByJflw5Vj6g27r6kL2LYnt4tmXSXcCZIvNfSt/+MOBRLat3j5099HhmoRv0ZtdjxXJKDKJILsizOVNHETQMlz9hdpPktRBL9eu02UgOlDhHd5Qn2lBmkrpyl0LmgLnkrPhZHgnGx9KQzjoNNwKaKW2gafarw4qsSrTZ7RSow3bk5bz4DQtD8aFZ6KgqZvpf8piFWsXvO3bwtIndpUSI72Ehe0w9kHBries=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781893683

%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

