%FILENAME%
haskell-tamarin-prover-term-1.6.1-70-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-70

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
857475

%ISIZE%
5191292

%MD5SUM%
66bace84eb83019dec01488cc57bc1e7

%SHA256SUM%
0621d3e7303fba96ec3c1ab40061f967157206ae7122c28240b79785d8f2f3d4

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZO1UACgkQeGxj8zDXy5IrOA//WZGI4Lfz3b0F7//7v2c9n9wfypl0+ADlY2OzxVuoF8R68yQ6zy99rhL6A/qzdlAujDIfIV/E3s9HxRBD1czKyo9VfVwgEDn3XPqh8PigCBgLc0+E4E7nBSX9LDwah34EwAe7mANwMlyBNOGb021rWTxlQBDYSe3cJF3/htdkn6RXpLRUyprdJUpAuiElMDg07rxg4vJYgxgTl7aB7GWwEyK1Jc0oVS0Kja4l6gF1m8WDiACt2eF9zlF0TCNZu314zMeLmMHC4s1Qr3PqCyFIYv2egT0J1eSHHkr2LT0O1HCt3HvxhsfXOF5QzjNHoor+sLVe2qN7ebB3Ys6wHQuOYLyg5mKBfVW225o8udj7UZM+6LB8sbQvA+eLICvcPyA1y0bKUOE8MJuZaKtFvQSwe8EfLSA2luHvsUZstk2IIoTUT4RnCMoJ/omQ5fSyB22LocWNl124ysLnJOn674lEjaq55TMG858PR6Jv91T7UW5cK3cJCLiP5EGTFvxY/jD9UFfcWF73PHRylmxsnwZ9AzhAaKkiCtU0FHmEHbmTMK5/MRGYMIEVuXAfDAPx6SCBQG6ncLHj8f7E8K1akUuxQlftjxCGVhRgfwEdSIMBHjmvkqUC1TVkMfmiqwIOoHAxsi7V5Y7mM1PHWKK3qo38BUJZsW0pn/W0mYFTKS4zh8U=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666792222

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

