%FILENAME%
haskell-tamarin-prover-utils-debug-1.8.0-21-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.8.0-21

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

%CSIZE%
3457

%ISIZE%
2848

%MD5SUM%
9c38f9d8b9197308080a6a01f489c3fb

%SHA256SUM%
625eaf2e555a2c31c1dcd28f145bcd00ddebf0fd2f6f356a8be82682ab5f550f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD7JMACgkQeGxj8zDXy5Ilhg/9Fd4L3ZXe7r02wkEpUnzIUHIcjF77uEk/mZ9DuD7Cstru0JVcLs7z7uJQ2q3PKSnCCciZT/XAXfTo1Iv3re0ENIRf0raKT1JbBhKkPowFmmchfXFzVSlXHi+b4GkbJuNh5SqLXJr9KjgreSXMUbb5pr4nYz8AboLFFUJfvgIEC8YD1nZyorKgT55zR7RFcPqeZ+H2INDHDCYHjJ+n9M4waZORzXu/PeOvDbX58Zuc5VIVI4YkrO0q5p339mRMO+0vp7HpJKwmrGeNWszPgIZqMwyuTIVbxPjhIyv+rehDk16XnGp9D5a8Qk7epGp7taJqa1oEljmFHQ95s/HP7A7xQovXPlXMJb/Vfs1vJ6DJ6Vtlc4buPI5jxSe/64xbbDmVbq+E0QdFR0mywu6GR6GheUNRBMBerUvXNBBRrjfj3bnqiqgwVF/TrMaNEJDhJPxK3uHXo3HKWUBNZ8+3/mgOmH/THmCML4h1W1C9YI5jdA5/XC0rt0QmbzS7CY8Sy5ZMnHtsIan36ogf3syQe9Zv2vYo68C+nqr0d6GR0Btw4jo1BlfEyJ6QyduqhhlYJN2IPi3cP09RJ99oIeMozE5cwQw+66ySkL0xbgHrOB+XkfZJd/g+TpuPCdc0pTGe8RI+XvRIIr3PZF3z92KsX9ITKv6xeAN1M4rxy0qeEZPyK6A=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707338872

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

%MAKEDEPENDS%
ghc

