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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-67

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

%CSIZE%
42037

%ISIZE%
170376

%SHA256SUM%
75490543d9589aa340ee0e904a3dd716d191642a3f04a5059557b056ddc15dba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNMcACgkQeGxj8zDXy5Ikgg/+KJvZRcEdNlE8GP6CP9FlY62s1hy6DtGn5yPFMYoO8bKjzoKJw4mVpAf5XSHdZrIWObpyTiLC23tz9hMOLRybwNJ0LUMkQA3GlAl5aNLFzeJfvdelTb2nLl9XNDFF2IJdPyhRC9UQ7Ohxnx15B08porQH0M4/ad7V9w42g+ERzOygDtz5yOi7xEgeyzJeyZE8AW+9D1gTyYMBpziNEFYyFUtTDIBOoO3IqSbFj5MCQi9XoSwJHheZ0ai8Cr0g22q+SeeE/4mRm4birTfQoUf4JL7KUw+4FDH7VJ615b6Nbh3DhfEOdn15aEgxdtGpqYu/tGtqD11OR3myI3Mwgv11S7qSmT8IiU1k4vL0Or7i3wZSTB+kVf4p0t1RXW8N7vDaXiObcXD7d0WEP9KO8dmgOAzZ6GLjWrhLRwmJkazaKGRxRsW+FxzbsDZvJr2PwQqNDUrklCEhfys62gpc1wfOrhOe484D7SxIU/RccMFdjoNHGZElk57kceA8ZTZJIz7lQuHWgIddhEcFDcGZG87WotNYSrKPfx7Vv867eSafo5vpYskCN5TS1c5dXurU72F64qbJP0OFkd0DCPptoq4xjH2B6Dwnum0uxVSUlKWx1D07vd1k/JCfHzGVXLmfr7vq/FastsKY2/xu8NIHvd6cWnRLF3lPXxZClmgFzoJnxp4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032165

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

%MAKEDEPENDS%
ghc
uusi

