%FILENAME%
haskell-tamarin-prover-theory-debug-1.6.1-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-143

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

%CSIZE%
4068

%ISIZE%
2848

%MD5SUM%
c3550bfa0f72a265628a356f1eb885b3

%SHA256SUM%
1eac181dc430a4973888a02b6b610c2df877f8b6c6f698c51feeedd6efc62ffa

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHLosACgkQeGxj8zDXy5I/tw//YhMSkyktX9gaeYMh9X8y3DgBb9b8Xb8Ht3zIp/eTbeLGNKayGOeh7lnwKRonKx+/d+fvojHojE4h40xkuI5CjY72VG5QrS6PFVmABafI97RqrfgGVO1G6aSyd2vY9H+4alMfJ4erj6vjNWjGnhLwNhdJeOpeI36aDvUVwV8rEl+T2ONUgrGHj90kkYcvqfI/sEVDHnTGqAtk89z9jaF+HyCi+/eW4QR8WnRU48D9PYoj8ITcEm1ugL+u7JlfjC6F3wjzBi099TwypBBROWFZGgzJJgNkszn5oDt3vB9Xevi076kivNnC5yjRw6httxMA+V/072Qfa00LTn6de/tuLa/RpoZoCO3oyU6UpjB1+NvhfierWj6JuEc7Tqo0L2Z6pgGaEusjBFhJLsGXTpTAAKL9B538vPFMjEqhssnO23SXkBrokUgi3vv+1m93XcBS2T8iFlqBIkH38wbm44EFd/3RS9UYZyUKVdCtAVVFDPWkwPDkjuJXj6jSGTmPQDLrRcBlyHDqsw4ltda2ynqIs2RoBpSslS8nbRx1WlZKwRGTAdJC95CwlbqCQ1WgT4/Rtk8owjASb6bb29dOPyL+2+mqJJEo/DzeT9grkRdcLq3puMxf0GzqHNkfzIDtoQVFdNOk++lBklLHJl7vNz4+Q9fS8Gn+u0voU79SzWLSa0A=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686580696

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

%MAKEDEPENDS%
ghc

