%FILENAME%
haskell-tamarin-prover-utils-1.10.0-49-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-49

%DESC%
Utility library for the tamarin prover

%CSIZE%
245303

%ISIZE%
1296894

%SHA256SUM%
0570c96c54a467a98f41d1a6956b3fc6cea89bb34941bc13df6cc45a082d1a5a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy+M0ACgkQeGxj8zDXy5JJSQ//ZQyn9Os4eIEVKiDjPg3e1dAb5Jq4Zf1qVkiyJa3N7NKU6kri7JP3zfq4bLWJJkAOoG124o4SfeeZDAHELa8mFBYj6iFvw6+4tuso2jNSBJuAjami/Ey/5MhWLviBO3uZ/ALMe3fenlJ0hWuN4+nJnXzqdbUOD372T8FeWNyHNPX9MYUi5DnDOD1DsQFDujYe7zd7T14D5ebPfnexbH9TA9XfzfaWZCMDpbFOYj+/lrP5rG+YyNtSxhj+ZXFGE1LzV9ww2EDiqByJCcNQCgBJ/PY3P+sAlNApgpJtMs90ISBT0Ey75K8z3Gym2J/LJZKhSce/CdTq8NnUgr59N/vnWuu2HJTUEHOFZTwV7CjrwO5mpFoUg93E8EMbq4Uvs97k2G7hoZE/3WlB+IhUJukX22WgO0v0xtRvLDOlGuEwCXiSkOJrOhiLuTNULrU5FUyFWMiqTxcOAqLzPfDsrTA3YJw2IVN9AlcDfoftajhFpTAcJKvYPtNNf9OlyKydjHRpSkKEEaKEjErhMVD/Ue8LQrUH/zo3OhSUE3faahArdTb11miKS4tJQIY6UMKrpf+oI6eSYscQqfccyr7vO3GuK/qDKs2zY2BkOXNh3diGOSWxUEs8WDmg5nBo91iJVvW0dbl6oITusoK1jrdRoQWFnhD0lHhWqRvefzxIah4n4vo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748170936

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

