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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-17

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41779

%ISIZE%
169490

%MD5SUM%
073738c584f48334f565f35ecb3ae1b5

%SHA256SUM%
a0f8551b5380aceb02c2f68415f002e8f1e9f740ecd2856ab77050374ecfbd53

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfdIfIACgkQeGxj8zDXy5IrnQ/+MnI3RZjN/jgWZsD5gFD6I4eKMyM+FKY4BqK+O9T8s+Gx3Wk4EKoYdubINu+aq5TF6lB+hHpkq/N/GQIPSCBI6QCX8TZSYTeP6S/0pxFkaTLnfi+LEJhQ3ifntv5p8NRD93yCBcqD0ISU0J5BYLRiE5+8KTZ7GCnkkMFqq0L161wJ2pPKYjpdXp+0BFihi0OSxRNjjeh9aMiWu/vlegXVz7gS//izZJir5Lq92FFe7wEz5P23g9kqJNEEXuCe9v8hFDTLCfvAoriP7s7FFgEUFRaDUXB84XCcZ3ReeKK0PGEse1JnswzaP4Xu4qGkt6i3yxI3BJt+sAzuXdX4mYEpRfNiBXlIcFS79fCjEVhkUVRR+jqlRXcMiMkttHGdWFWU+HDjfOdNN3e/FopV6efaU0Qk/d9Nmrnpwms+WyfcLH5X95qxmgLzkVzd+VKFt4JYfNwB4aSBX7joL76Is1a+5sGEe5Kcr8MTKrAHvgUnHLls1cmKZud4Zigk5VyyFO8ZJcliqF6B7Hu57Jdh06qqkT9h5MR1kRs/m/4B6X3PLUORNWnG6NOT5EEPzjYwPd+Pxt0uHnkMxreterhw9Sp8HALgdarN4cbBBf554rKiVTSDBKlgGzGvDQfDXUFCY+EcsmLCC41AOKUZW5JjhyH2wDoiBwT5K61qVsEk54B4HH4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742545373

%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

