%FILENAME%
haskell-tamarin-prover-utils-1.12.0-71-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-71

%DESC%
Utility library for the tamarin prover

%CSIZE%
244014

%ISIZE%
1268350

%SHA256SUM%
f0a0665583b06bffe8ec588f716f54f6bea3377d253053f853a967ca9b7ff556

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxHAACgkQeGxj8zDXy5JtoA/6A5arnogjlGB0oF28CijZ9zW1VUtrckniwEH78UoDyq5hIRY9Em60YawLr5rIsRIqkeLvOU7IdjuYm8VfrXDw5Zmuv7M9IPbhgBCI/fjMS31L6vw0V8VM4B50HLazFusDuNaCIukD80e4n/ZLWHMMo1sVQ87V+oIw42tMjRyiLtuq+lfFcQePtwFhv+tXd8+SAt2BP7Uf0PPqNTCadcTX1jwcYj4k6wsvaWndEryiXy7K8mCDXdQpZfjhCptHBoyqqorCivaidTjds+2/XWLjA9s0hPAhKTv7HyGUzY6nf3FRnUNw+yANfkj3tXPWRIyXMZmepR/Nfc4wXMjUMAdcWgLHeL5v39S90HzC3EMCAGhu9RUIt1wd8s3Hc7ruqlQRb7jzyYO/9NWyflGLPZiJ4trmfXFNOZXyv6bh+ji7ny9SsEsaw3XP/X1NEu++5SuXXA/rezdZLbzFyOEvtryjT70cwb/3h5exuUPFFTh8qdNbwqJAwZQFeOd+IGdObk2RLil4IANTy58Q2qr392DQSKKrCqI/3xlVTPZZuWEjeMjlXRQJJJN46nkDviqIITlBUebX0p8ACXpVFt9D3DjgZ76T8iNLeiYopxTVqMbE7H6DBhBafKQrjgDKZs8mkPQ0q9K0uoreyiNnlgplHk7pViRQQWiQqv0m7tK0dbpk7zU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969500

%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

