%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-76

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

%CSIZE%
266843

%ISIZE%
1215437

%SHA256SUM%
fbe16be3d6c0ff74055caa2204250f7d01734ddb22bc1cec608664a347ab4d4b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HV8ACgkQeGxj8zDXy5I2FQ//ZvYAZEY0I4Cc7CXidlEK3fc0pe2fKqM6ekiBM+ItBKOlwGSiLy606yodcrOXuFKVINXYTLSOr+85I24EmNVsMjU5jnQynPuxAJnrPANEA2CrtggbQKELqeTr82bdz7YB+uuyWhV8+kkRMpAf7MzxoNYxMRo67UTtcR/X3jjBiJBdukQQ4Nt2vv/Jm9zZZM00F3+bmPLX7qiC9grgt9x1caNFp5rUMIAd3S+LJdphhy9qlhS4UdFvOBlgH0erVBgKgkdbsSIWy1mUt12kFZ9dGQPLY3U97qJ8GpYDeBD7ttgYIt5jb/EWXk+5gN5jhWzg7ioBRyRknlBCjHo309aeUu2FMPY5gsDTkrkIMgeAJ2MQRMc2I17ZtqDe54g+595BlIBpRpgleu+z869/pSJtbWrwfkGcb5PLJ6SH5MK2sLO5zAC7TNxq1v8coMJvw1csnfTXFGnUWYA1YFPvMbTf73FDysD54CZkRA/MyZ1u60SOe38Fjwhm9xKrdtrPS/8oPDA+pXNQEuhQzlTlYBTiVasnmED3ryUhe4El83q8pfW3vogzdGVhn/bxDePYsouON5a1HlaMQG73RtXu7QDI2y2uSwihqdIv4YTime3W09ZPC/fhZbq+58p6pkThv6ef9VfmyUbhw1GNngx+62H2wah/TYFOTHLDqjmMm99+sOM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778672

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

%MAKEDEPENDS%
ghc
uusi

