%FILENAME%
haskell-tamarin-prover-utils-debug-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-3

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

%CSIZE%
177568

%ISIZE%
984079

%SHA256SUM%
3100a22e82494fb7e29b35d82e86bf2124cbdf5b9bad06a5d97bd74b7094027a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4PaoACgkQeGxj8zDXy5KmHRAAlqDjoUy5kS0CLjRwnzZft74YpxGIPfi404vmHhgqeS+HgIvRvmpB7KIclQ9ZkO8cdCo+KEcqbQe7ZOdbr/53IMpIz51bFPnaaPSk9K1dNkOe0DZgO6rQ14pCY+FzrCKgOT91liPRPhy+SfHgRdMddOJLhN7RSsBaYw2iVqJ+eqdyHswwTaYeRh0eIImDX4Aw1Ou1cOtquUo6CFVbqXNdlUKAOir0veHNM87EgrHdaeoZMpysWkxAoJdD/0XSvYYG5LovUzoMVJFxR/hWbCaTsDcdRbgPJBjeDmkl0sxQXHsJi9hkDIK7xW9M5/5Ny/R1/7YjwR4QArfjvHhuvf1cYbzhrdH9KrNdv2QkVuBZsY1uxwLfGiJt/svzrzuc/mg22RypWM+D8JTPefSfxMLnRLq29McbQGyfRc3or53kqIuGpKBM9leph0h4wMd+8TwvKEdknq92iztP5ctAvGhuZrZdhu0pj88MU6zr5MFm8jdCHPjEAH+WZOZ2JTcjwJxdg7TpuSRRjy5wzfof7ycW1zKBc8KvKyaFgxaLOpjbrFqLPv0JUjMyOq+INg/PptjtfTpefwI4y3KAjC9M0SCQQW0tvZ1adpiOuEr7pdmiIFSkw97N3x3nfsnMSBB6JT6ePNcVnKC4FKeJU/GDHyrpLHkIWGzIQPfYaHmOpijtzuI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933324

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

%MAKEDEPENDS%
ghc

