%FILENAME%
haskell-tamarin-prover-accountability-1.8.0-43-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.8.0-43

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
39903

%ISIZE%
164280

%MD5SUM%
176e0fe7c2b34a20774ad3c542db15ae

%SHA256SUM%
5fa9cc471978cd851123e048c2ea48ad781293cd847179d6e086510857498b36

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcvAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbwWhAAuT8FXyja+smeAkf2/TfGg7usMl8eIo833p/fyUpoS7o5I2V17DiID8nPvHKjNLumYCU+dm6w7RZ/9QSAomPgV5sjhHXzlg9pm9uBT+KCpXnp/w2TKnmESpIYKO2AZzSSSGb8zA5GN/+qw4dPMTB2ixfa1gNv6OEbhEZFKMQ/j2PHYhpxN7EaS9FxNLYQUcIT0536cD1tFfqjqQBweVYH6L3Zu4mMGB10/IRHgNBx7PzkfgLhKdOaqY162GqD/UmVt2jHQnUj8uME+1jkEirqddtNVsOp4c0+peYTQwSd2FGx9pjWPI+VKHe6AMTtP0XO2OoY/KQ79RwMKoQGIJtH8vSDPo4L21d9U70HF+fFzHU0LAqm0Xkj9WB/u8ZPS8SMcsep1LHfQqeqmB1xlz3IWfLxnNMbSEC92nYKGWRwAop88vY7z+TPxYHQg0sdMptxVRMwZrWrqCGPL6/EiBCyfaV5QWulYZvbqRmpBvfa0b1f7ah17QR/H7zsajldQ51g4mGgFPY7avUnl+LEenvWUQULzX+7HztXxs8GaYodVwAe/ObWvqnCwysA8LPXFb82yQxfP6lbKJtdC2IoW9TkeM2f9o2o1M72/ml9c7l0u6PCdw4D+/tKpGltgC5tcRPAmdg4/FiHlu7+TUrn2+AGd7xGSn9uyQ8WF54PhIVofg0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1715406592

%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-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

