%FILENAME%
haskell-tamarin-prover-accountability-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-3

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41664

%ISIZE%
169485

%SHA256SUM%
dcf07886eee054682ac0a91ffe8474d41412d39581c4565adf080a966e844b9e

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM/kvg/8DVmWYyUajKtZlLx2gP1q7jM44lsF+ZOFOgKXcErfZ0TLVc522FFFA9y1D8hqRHu18IA9Q0AtJ/lcgFyQDUxK/2mMTCwOanJUHH2zfsnOVX3kf0Ctuz/7kJTvByNhzZs/VqsS1m90G7dD9sygJrE8WiCnNR3rRxARsPa/39f5QqVqp0Wjotd9+w9c8pQDODC22S+JyoAqEJtQGo6FMG55jksizrj5S5MxcmW2lr71H8KPfXpL/dlk8kFWVDPJj2oSSXxv6Ys+AJ5He2Jg+MpzU4NrB2dvlFCy77aMjEFkXG6YBc+2efT3hovI9IGomSagGwC7Hj8PtTK5EpQVE2IUSq0O2HPv+RkDlB3YBIr/N0AfM3F2MKN6r6QSzEkO60/nGGvEWaisCXPlUJRywt+Dj02wac082UAHNt1lpCzJ5AL3SZ3zL8TH9o3c+QNOrn8IPLmQgn6OfwHyFpjeTqJ1t7JBUsev7Bh0kCrOLDYWWY4SgPmlwkMh/55/xySDadGGoPRIo0LTcoxi8ggtkm/I6ElPpRC+bpaf//wXHn7ipJWW/ME+hHHU8QQKPD+N+S2rwMGGTYXKYV0KbSJ68m1ZQRNkl1pRum074g5jhglGXq/6tNKEikuRNt/S/qBE4ikIGWl+DnngVqaBQF0NllM74Fby6WcpF0wwsvAoSLtO9hY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933843

%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

