%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-143

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

%CSIZE%
259180

%ISIZE%
1267142

%SHA256SUM%
58cd72c9fdb82c1987fbabec213551ae0f339c723d091844b1b87851fbda0485

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsqEACgkQeGxj8zDXy5JP9RAArUuYLEtKfMk4IFslTQ8WOTUNsZefVMcjSS+a8Q2cfF6Tk9iTNMa97EVtUHKpU4//MpHhCK/eb6TgdZBXmmiVe74/GtMIxf45vdWMTVu4AEBsd4ZFDGw5PXPXB0Geuiyb4cbtS8U3k9Z9S9+qF5UgTwBE1UFbRoArKGPqIcZHaEkY2I6WB+m3iyNHrvBl5NuPsfCf04y4vhBdwwPTNQD7/Kj1VBRMmHuV2KbLZGojsOkbl3Kh4eS1fkuz4hf2R79l+Vfr+ntSZ8zzju1QPSIi+SUfLM3qqu9jpvoZkGOO+eKHhbLr7+l0uNH+Z7QSoLjzYbSKwI7T4OR6g1Esx47L2N9O35YL3yL0mvIjmzzq0xRmxci5V0s/qaMCg8OceJBROLkdjvz0xbWxg24rxXCqFCN55Lo0R3bUGXbdPdGdcpIiNv+6qDTIVrcwCL36hMpXnWkFbeJFClgskWQyMbirTGB8Umj01JNRpD9Ryqlhr1OGV9AAmCMk2vI/oEalIGYXoYz/BK92XQdpoMAtGo/vjnOdfdpvkIQHXa1St+VVZPejjH1wURdXXAApPeN+eSIY+e5WyEfWYzfxno2liJ1vMG70UXLp74rmei7Gvh0oVF1GkhQr1ewbVzBiDrxmVvTTVMDDfMw0ufL8DzwvDImrG48m8gMEyA1DR8pZt8h3ISY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141437

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

%MAKEDEPENDS%
ghc
uusi

