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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-139

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
38843

%ISIZE%
153496

%SHA256SUM%
54f15b78a138c008b86879f1149e394bd933566307778393578ed0597e1a2349

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuvo4ACgkQeGxj8zDXy5IWlg//TPQFLNYyLbnkHQdBXcx0WqbNxB6cJSUrPHYX82Sc6tXFVmVvCZg72EI1ctFbQMe8WIQfTXuXh13dg3IsdWomDDabzyqvkeqYJf3riiIRvcIjXLoldjejB6S4mc5R8uGUhwBs3EyqqkX90EF9fHp3s+B1+TKpUZIWpo8XDNhBTSdcOnzecFvXAxQ4DdpA5JKDR0U6n2fn1Ae8sIDVtjKzRdIf3Y8SgzcVwZmbIdWPtOuMHTHejqSg5hBRkkug393r5tfpKfN/pOaWJOPmY648pRz0elaNRIkiJUTw0e1BS7x+/PUxK2bKqsufDDBPYoxOwgXzc91OL0TX5YOTvSE1Vil77QigueqTu3JdN6FXUB14WLnBIeCvVzDCeXhid7+Q6ACtDC8mI6ETCs2T0jxCAO3JB9lkiwdzBu/YjG4gY1XKH/3i+/CzP9Cu8jw4mYq7EK3sJoTGRTyTTAt1vvlBMKWz2ekFG1xLDEg352/LSgxVCQPJGNQOvYyxdAhcyKz+cR8xgOMyW/D091ZQBoRPr43Rf6uDMubuWDoXRjaEFe0Max9Y68zcg4hEaa5/5LCNCqZfZfNOLdc+cwdKc9wskBgPKlTt/yElAjaHypdPA0mAIrY2qjnwQfJDPxDmnrQlhSOefkqRruFhMQ2R0gbET7IbuC19Epq4bg2IEdLd8Yg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760476786

%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

