%FILENAME%
haskell-tamarin-prover-theory-1.10.0-108-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-108

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

%CSIZE%
3042438

%ISIZE%
22750274

%MD5SUM%
06e851a1e6b08eefd4546684a09291f7

%SHA256SUM%
235a5bfc2f2c243ed4600526d08f20939bf483f5fa34b04daf2becae59bebb64

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjByvIACgkQeGxj8zDXy5KUahAAoHrZMK1f5Mnuikij5O4HmxcJSY08O9/dFYPVBFLAkrtOmsoZiF9+hSwUTX3/x010AApPKBys9jr6PHl8RqClNMegaggmxvJgdc2yNJiSpJh0wYYfpGGc1PJqUvNwcfraxQRG3Z+qVHUoZsFqWCg15kGEJz6uOrN3/7YIjmQsezx+mTlDJEBUKddEcv90VRoTaqMJ+gz+MhLpmvLFAvIkxXklpHUIcEsBQarB7Th7sJp1IyIZ4hNjiUevbmRzVqYqYnyrekXEjlSrBnnT/m5EX5bp2nwMpjUdjQR4EBsQOSsT5kgHscCBOsf0/3Ohfk3l7ZFWDtAaj71MntSqkk90ThjQpt84Mkt9wm5rrqtCgHfC7vLHei2PLJTzpPzPuGzLNNW9SazcpdqBv0Qx2S2djposV8MkdtHkHhox+ZwF6JH2aW1CY7ssaH0LYK7OuFtcNDgX1FL4bT3ynTPTQduWmFFn3hFoWV6sya3K/IyY+9dFgmlYKxrxDHbawMSkOPbLVrR0qCzhijTPXGhf0rpJc/IHRahHWFI3tu0INgTiwIQ5bkUcwcao+yCCLGBIJ3EbciFxO5/z/JTpWiyzIpT6+jrqW5cXISodf7abqvHCFAVrvWkuMUlT07DMq8kAHbYUHLvthsADHFSDE9jTq7V6lAqAbffOibKaA7yRcAyd+4U=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757530745

%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

