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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-70

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

%CSIZE%
3025208

%ISIZE%
22851529

%SHA256SUM%
e94fb8fec5d82456b37266172c9cbad2f795b6813080f0f3068fafc25339dd16

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdc0UACgkQeGxj8zDXy5IIOxAAn0FA/yJUUb3hn+CcDDesTRkRxaFNM4WZSPHByeZLEHevYK1mfGsZNmrTxQGs0uROpVdSSFPLejRAMpGEDv5jqKHQ4kFf3igEkBarJFJS8g4nldRZYKld7IIMn33FiMfIAcnBwtLoWUspNPSaMZKl3SNCAz4CdCZolA7n6WAmV6IdE4kBl1xSG6Jz6KE2Sflo8/jBhRrXhdai8mLcIA/WuynCkuPplAgH1lIVxA/QOZNeWG4yyqMlgnuR5zHWrSBzikeSH1NDIKifskWf5tIN4NX5D6DS+bx5of1Ghoze68Im/LA96o6xstNw/zRhPqPwhuqVWLdB6eFP5kmTWWgYBnZG0MgoeaApaDlqbyT/DNBUJXcMzGEm8bgRZCIHisk0Irhrw5T6vRCLZdXtcNYWop+oDzKYUdNuSYWqf+Z4vhLPRp8u7H6cZP0cPi9UnWCtX4M0HPbwazCWbEpF2Fl/Tre7haB6u0Fvc2A1SSbKou8u3uIDjBcb74Vejl7OvWTLf2xIL0Pwtz/E+jHrQVzTqvi0mL8SQQLEE4pY2EuQhXCrciTaMEG7bFnBD20qsah0WsELqeJo1KBKt2/1v2gpQU/7A8xdFShjVP/Ksq5+tok99+QsL6LNc5hjNziWEOTn/eDaPF8aRMuS0Za+vnu2ptR8WwaZmEpTZ/U0LkegMRM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703461

%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

