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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-88

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

%CSIZE%
639360

%ISIZE%
3771281

%SHA256SUM%
f4ab4ba86282a282033ca5a481aa475f76d2c7188478f7ea006c9fb996f6e843

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLUzgACgkQeGxj8zDXy5KpOQ/+NguZOW64Q4hY61gvV+5uB/Rd/ZQq1MpVFmCb2LNzXUbWcORXVPeu4Bx7JkNV1efD2PL4BLAPxSFFvXgzuxArWRz5+3aE0SMMuDww/uRdRcmj6+vRdGm8LhjOtGwuYZuP0C1cnHaZiKEjfePDhyYk7ymDsq7hTT019ZnFOR22fPx7vIW0ANVs7iCeLDZFh9qVvhVUp0H9q61kXjoIQ+XlNO3sot/SGT7gxgIRGIAAxbH8S8st9yENeH8tQYmkgc3xctc23kNnwGnNxvVTcQNZmxbQiqJ0sikbQZYzSxPol0sbp94MeLSuuLkdg/8/MMYR94Z4FanQ4U8wsBst3uQq4dtBk2dCX8MndBSDNBB1f/u9Vg+tJJozdG6g3Plmg/kf/8xh1e1hXZmTQ45Op7BMjwTS5o3V1H9V9VSk495+Bcee838fxk9/te+tcTdkD5A3vOVU7+AKw/a7K1gFkvl9Y5ZsvgWmMO+A4FstsgBCch3QBmAq904iSUnkdU6ZGRmVoOGrHekkrY4X3Ok3ELO49j2akD+u52lG0NoQ26fpWR0KI7b0tV7Y9RYn/HQ+SqhPXax78edcw5Cqb4g/5C3/QEgsimycCnYgohYiH0BND7G6wp3meGA4yu3WzPhydFhXa6yxebXdv4sUEsHVLl0tnT7m+Z1MGgtqlTNRQQehE3M=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791709909

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

%MAKEDEPENDS%
ghc

