%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-136-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-136

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

%CSIZE%
607577

%ISIZE%
3448102

%SHA256SUM%
a4ced3b162f5e4de179a4ce77351856f79e78128500f002e36c8ef7cf9589559

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVAcACgkQeGxj8zDXy5KH9hAAnPGq9kXERkghwXF8aUAYLgxwIo6nSz5K1ldKcn+DS4BCJYetd8a4eGDsaNrbIm1QKFeoReaNBYiAKf5QOhwOHjx8W3PWr93dDenLnx9dTmfMv0Eh2VXCQnvjxW6NRN9jH+FpHJ7FXJ+qnY2UHWIraXnG/TZ1rOfuelNc3eHAdbW7SnoX+XU6Lp2b9YQReeRwLla2k0dffpgk42AxE6Qp3YyZSbVkEqQGmuemyUxnaZRNviMQ0ks23+gW6406cCERC0xEXEsE7nLV/T+if4cM0fD6NuOGKqloZEKubA74vzL/RrX8GQCBoCzX8A1+vOgg4++ZFIQZ8HwFSUZ4qgq3N4vXy59Chq62dHK7MRQCNkNeWiggwmvScRniSxFlyYC5oCDNftt21jJdl7xQY278leNhZBfNpQwi7mWq5by8Ib11Ya88GrgeULaJ3VHiE/UaIm90/7LWCa/CQTR+FUoztpgvH+CbyYh2tFL/AgbuN5DxImmOXf/XRt/QVmz7VuxXEuN2CfwCMon6AHAhg8Xy+VpaZTrNAFtoGmKgo3vbiTsQ1L0U5fmtTctNtMB66GVz9TPPVhQnILSYAM5eRgdYlHMwJY1mx/eJU19moFi0AiYJpyEqBkThpZYonVbQSxaAYY0UQEAYjuB8mWN23rU1qPiXlhikDPU6pCfbtDBw2K0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056218

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

%MAKEDEPENDS%
ghc

