%FILENAME%
haskell-tamarin-prover-theory-1.6.1-36-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-36

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

%CSIZE%
2852547

%ISIZE%
20846554

%MD5SUM%
008d27039c558712f702550adfd72c9e

%SHA256SUM%
2e335162f6a487b45acc7715212082f6ed6056bd50155b93a6c12ca65bf3e5d7

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxUD0ACgkQeGxj8zDXy5KMzRAAojdWqFOxH9uLYszjRnUII+R6e85C6fXVuAOvzIbyA9NmZfy8XaQwLY4aDjSVSysPkoTfbGqoXjan0+3C+1jJjlw1ki1TNPqQmbFdvUoS50W6e6iUE5uYvzDnpAPc2WTAEAnOv7DKx73rA7Xwu0Ot42k1NNzF31tUlJsaCx8EsLYjyPldY4+dBAGL5CFufAeVtw613akdug8T6LklIutMU7gMUdurpVS8OwILZAc9mTBGqcUmRH0pZN0cf+QtmFtGRUM9SDGkgcKD8Xyt4eEJW7cC9vFvVoBJtA3fa5Nlf04bOJtooFXnT2DB0K3Dr1W4/QwznzCmJ+FZnQwdyneJXXDYFJC/t3lJMcLYKfYHkY/a2A+phuikoMOmzth5NyKwnhfhwusD8ahILw0AaZiP09rC7a8RxJF0pRUz/SAnG7STj/CNOpdOJXB8ppOb/D2Zg7Pgei+Bo0VDzAELFxsMj1Zh2PuzcJQQ+7/JW1nkCglxFxfFQFvs67yvRwPUEmtYw3r5KvShPL16pbD75VfoFV6f+QxYm8zJ9iIaYdieuo5dOMett43nrSZjiqIBSuZ5s08lZ2pwqwMoRGpt0VVXuQOTn1VHrOZ2M3XqApfNpt7qupB1t4ub5dS6R6IJG0TwlP6LsjOBEZwRiNm9iIUusk3Nzs18DlM9qifjnTzAhfg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643204491

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

