%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-36-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-36

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

%CSIZE%
639447

%ISIZE%
3758849

%SHA256SUM%
1ff4b0d76352538269026e735bfa4be737d6880733cf8080d7d14a90f0e2da0c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnUgACgkQeGxj8zDXy5I3sw/+J1Sc8JgDKF+/DvC8HMV2U5y9Tu5gQxkxa0Bwz0zXDR54uyNPR6mlQ8CpvlroOck/8BO6I5nWWWpo2W+DEjQhE8/g9vGvhAZEW/lHbkY6HUZJoYXhn5yccXnKe3CRG8QBExLg5LJykASA5YmFsE3/KCU4gD8cS5aX6kFlIM8RYb878dgC/xp39wC68oZ6W49Y/wK2YTC/qjE1EVTkGs9TDzyioHruVu73Y5uQ+5H+KSkTaAIF4YOLG2sF994ufz7FLXAfhvN6pePhrvph84FyJZYjo7J8U24IJESI9XXORwmKBSoCKZs2+0yyN7B5eE0aBt/r0wNjvo2R4sAWQi41N2FmUdIwE/BNzKe0TiDaXUQkZSjWm/susQ89+WJCmXVNqN5cD0q5CmrYD5eQMGLwxdzqc/2GZNuH2khxxRQlGdt2rIH8GgFMhgJVn9Ck1nrmdWdN8jUz+WvO/XtaoBxs2W9GeSHMtD+8x0P/+uWDkGHjk6KMG6GcB1FtY3xORkJRyYleNdoXv6fkpEMwqzvzl5DOS3mkQ0zr/80hDrMJZT1AQSwhcWYvIKPvLBEXlcxSl4Nnuo2k3C7wWdWkf1/Ogg/JamL2W/KXTJgz7dxhDO2loqX8Yk2j35sOcslN8s3HL7Z8jRFe9DAWTO5eqIXElR+5gWGjgodAne4gCJJUYoY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778883846

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

%MAKEDEPENDS%
ghc

