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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-65

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

%CSIZE%
42041

%ISIZE%
170312

%SHA256SUM%
b1eeb279339c9f2d0df99b948d187a1060324b591b8abf7ad063244c85a75570

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkEYACgkQeGxj8zDXy5I5VRAAuqAcsE7K9jYraXmRwFoEh/r+evioqIP9dnDMd08zofxX2GWaMt/N7574YMJ32U06J9S9ZVwAL60OCat14lu0n3BMNsH42ZzwC+4Z2HiNf7IVzxWM2z/xeT5CRTDU/0R1uF7NKwUupUvalCf4OAmga68K5pmXDltVzmL3mPs3PG+BaT9ySf3DII/1/5UTRG2STZnhbQZIPEi9edEWUMcghPnmQebW7RPgJUBAnxsTqoKB59Xz8EzaUm4VhAth9AaJMzgm/9lWHinbSSZlJ05sxGkeeGF80LEglUD4YZ/kmD1zgdLPhZx9ZwssCHZcUC3ukdIEMtCN4GwgEt2RCccvQ1c6KbSk8j+U1yD9nWcm7UJT4ToJygQmCU+e2PBG5GgPXjJui1ctoCOcSRRdXVxp/uCGznnW5Q75y1V7gFMDaCuO8KD6eLx/KXuzRKB/dAFGpNbn7RHOZooktfuFkfLbmStivEXOBh+561vfZWwx5L8BC8xTTacnEmZl66gpjKdb0aUViSkQCHmBch3foxSpPv+f6MUYUZE5of6NQPH9RMp1HxupMdfNM6Sjygvnjp6Iro42t+SP0XfxPDMWWpn/QQnhliTwKuFojGOlIBLymzzsVdgNs8Vp99OdrO22p5ucH6aUY0woSEmu1H1W+DhrLibMjTGJ0CQ6pevLwHYT3BM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787990062

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

%MAKEDEPENDS%
ghc
uusi

