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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-40

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

%CSIZE%
42054

%ISIZE%
170368

%SHA256SUM%
b7de681c2bbe47a1386234b3e29438684135099f8a32bc6912c608fc039c6156

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou12IACgkQeGxj8zDXy5JjCQ//S9gf121bQBOpUcSPgwPIhVay4n6hXGVA9gPneEc5anxAvq1M9hL/bSHJTp6I2TTElrLuBGGVaS3sch5L5lTE4gwlf6Pj10vEsOtHoFHHxuu4OclgFThPkx4w5+UP6xM7ZAfyEPD1VNlQmiZSVtMWR4oLExjO8RZWufMYo0jiMNitvmLc0IEVJwjiVvo7q83eszAWoNJmxv5oVioyZMbulPpLl0gV+KMhl36w5+nf5K/Gu5GAb7dS/u8dewbEPLH8Cx79oFO6KiwMu++MVzmQmhfQOMQxTFpUBPXYB5WM01+daUp5O5arhIPpkU+WHc+ZyhgjyiiRCS19yVWAD1lpqqgdAxoPTHHjuwScVbtD663l/N6uI6ihaqH0xO1jTYpk3Xns/0VajoUgaqlM3sqkFIiTV23OuH9bYKHNTBGpfYpbepyUmrx6Fa9uTTczHe/gtvaZiozhzXXhJbqbtlowrelBAfKjxI+bUTB8OVz3MOYbEtXFfBLBvX5n8r6IinVbFP+4VwrXrjJtKo10MC6P//qKat9bYuVGOZmxstobcxLOcCxiaDzzb5LIYNh5jAiRgzPmGXB3F91bzuhp2JFoUhqj/NBafvdRhl/iCpVuBSjlGbHm2G3/8mjmBL9A59HB4W2KUu/Vx6K63/CQt+1/V5vo1+4WqgzDZbGYp6w5Ri8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454645

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

%MAKEDEPENDS%
ghc
uusi

