%FILENAME%
haskell-tamarin-prover-export-1.12.0-77-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-77

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
221482

%ISIZE%
1187678

%SHA256SUM%
782ffa08ae14ed03d2b6000778f3a5312f4475c0c864b95f924a82d49dab3a22

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QbIACgkQeGxj8zDXy5LCGA/8Ci8EXEuyLaAvXhRX/Xm0ktum/iyTOa8lzBDf6k5w+QgSOs5BhhTHKhhawIrJjZ3DAVzh6fsOKP9YIs5Ybijpy4rNQ8XubeDD9S3oD7rrmLudppCbfRvPFQ77HALLhbEwt6ZphZV0tgDCUNvtC12yBRkLXHyPQR+VbmXdzrGl7VbXmGQWTqFoSJvIgUZ4cJOB52OMG/YRSsW6ChnEtrVBgmlrfdXw/FF0mvaIHcuXaZcVs3DvphqIcBt3SAsKrRXckBMXXJ2ahSrGcJOqyhfDdUei4e4qJkqZ96dp6ejstADTn8fo7KKGSpfeZhyjMophzhxgiGO8e/Rrv6NY4Bzow3+HxKAvjndpa+GAAA/r60dBY366Fex2TO9FDWGkr8mvqzHZX+JTkD5fDvON5C9qq6iWauO09G8h8cykXW9OUic/+/ahNGG5U937RIqbOsJY1qDoXoTw2gHdnAvc3y+G63DGijUiEhVuTZV9QHYhmo3mb2sM8G4sgNDfN+jdNMxPc7+rKwz+3z0lXaK59my5OFV6HqdlQS99IvyHUaGJE3CM5tNDaLl8446LNXN8rW0Ua4PcH4KOfqrdr6nsrLr6M9CDUZ0FdSDmi57v2nBa7Kc8eOIhSyWkNuVnvme0qqKM14otB0rCElKiS72u21NTca8k851iAswC57BSVufx/uo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790853534

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

