%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-76

%DESC%
Detached debugging symbols for haskell-tamarin-prover-accountability

%CSIZE%
42037

%ISIZE%
170264

%SHA256SUM%
0a5ea323dc2b0fed2f2594ee3a735f5115886471889cedba70c7f7b2fc6a377a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HJ8ACgkQeGxj8zDXy5LVWg//RIBY3eP4WG7Vwx/4y2QkfxupWO5qTCEtK8irs5cZWVJrREwzDtcFZ1s8+V0Fyu/4WYajQQ52HMirQqvl1uUNBvK+xsVVwFI8pFrndLJQ19i2JwuTGiHfzsLdHgI6kng94y+teRaImylncTGnrb2eHDIGqHV16R+QbFJb/sf3tUdrsLzLTLV6tBOLDd4q6a1J5Q1JwTs9wLSuFWJoxSpXxy0F0mPxt9wn/hCOoC+9fVfRXMZjt0Z7oGJiuMm6pvmuC8UnG68+ch4hkNaorqGYU6OkkXrEsN7aAix1JnrgMs8wV2EP0Kjr0+J+nd7oxqgUqhE/ZjNQE2hgaypiPUCQ/3XXsX/Y8ST1Sk0UKFxUEAjGo0xODzHM5KvUyKwRj6w5rpxTi0ZXEWd6HxihB4aGDqsrHhBsy7IjU3ID6OXsLyIPBY7ubmLj4B1Ia6mQ6Iy+Y4K5o/rUR1jzcdV140KULjY0wxShP7L234mCXrSQHNZKbYevUFWJp/xoJgY8JJJVrhWA4CrJyytKS0JsfMeIQsob1LXc99AJiRNCQYKrYrjtdqejz6mAn5clkUeV+RiDDuq4KZ+rXqV4M4Z+Kub4//4HefZ5OdBi5Gv33Bi6bgIkPOevhn+xYpTal1GyxvMJe70d+OTdbOsnQpxPWGadpMziuKHucE9Kc1LnYHGjEBg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778504

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi

