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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-127

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40895

%ISIZE%
164124

%MD5SUM%
e2ac0e09aa97cdfcd072e0dc77f78a46

%SHA256SUM%
50210c462fc1d1706b263ac47d8c9c8b6dd85b958e401589dcf09f09a412e5d4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYN2gACgkQeGxj8zDXy5Jugg//dh7edBfHcJRP7yKFwh1IioPfzo75/Vyc9ihrumHkjXyxcm+LEANNaU2C8MR6q+8k44iqR1sUUQjK304GF70/8Md6enNVmwTnvqZ60192fiYjn1HO1QF0zWy6hYmBFcMmWhbOiBJ///xXWOILL+9F7R8lNEwy8+V7gKfvTaHJ4qjQSBdYotHiPFkqO4jbSwYV1stgIaYI26MEPR4JR/iAdYWytpFoJgAZB4vuL/XgjIhbA2W8WdAwevEWFs9KMPOHEosFDZ3zkqhdS8mPg2FotAbf6hi08LIX+JvtMfCCoXybz5NVjIYNY/TO39S7gj3a+il28FCl34GD4lcVTKsVHXpdBkvA0ggIsHY03QF3HrSfLAptik7iRAdQNYBRE2s7IEApBzrdJW14eZDqBRcgL0NZOTMsxvMFG7tNCWMcQpksDXIpJi1/7boNx7uf2t3ONupvDfuE//GNiNOP6fSELN4e0WclAoPAQKFb/qBS/L/flNsrDLuhsol4T3wd6ybAAFJHWBBpt5ErPs9tYtAqEOAeA1LdyH1dECAlZ5XLBUxxZAVZu7oBXrCpqa6iTdZSb9LvJ9ZdmvuDn8v4m/m1Y5dLvaJriu5bmrRegd2n5UV0lIIBEWQYXIxWOBiN6f+wyxJoGvBwmrmcBx6SGLv20YM0IIjXXTxYt2wEkmh3vIw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759000393

%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

