%FILENAME%
haskell-tamarin-prover-theory-debug-1.8.0-34-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.8.0-34

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

%CSIZE%
4157

%ISIZE%
2848

%MD5SUM%
09ad8ceccf993db2b5159444917b08a2

%SHA256SUM%
4cc0d856262fb0efc34dcaa960f4e4b3af719bd6ac549db36112057a56a94e9e

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM8OGw//TOcpZbRM1pruEHPxWH7QYzkGFCrXHR7lJg2uCm4fQ83uXAZk+ithDZBV5o4iLL+Cal4d3X/rtoCgqEwp7KmDeDas90XH4VufhD7DarZIfsb4IX1FBml5Y9YcWTh8MmTXPVh/7wKsqItbJDfpGORbO8kEziflNtlFZ/LU/olBcpDSNJ4bMHv0g5/bvKkTXRv4e7Wx893e697us7lX/B0SJannSrxgO9h56UwYPfVWnbFVMASuK64fGL+JBhHzTBA5WcD06W0Mh5dN8bRpBl3oIkKALr3DoLn4sHzAW16n1UhBrmOyvr7z9U4oFEEduZlXqjrdf4WkhvyOUl05e2p8sFDGhZvSR4wtDOUa2eLNiXJvTESjWB629bNy5mukXUD5GzZGYYCbQPawQDNFLt2MzfLteMCwOiZE+Oi89NFfdx8H5UfzH1+iMr1n/B56+iqxC35/jVbgVx8u4Z4AEBBDknpoS+TiiQeuC/EPBh5pamQd/XKfsL9pMkcRWLm0DXSfIirDbwg+wfaRkRELAWtttgLzqbHeg198lDaqHNAQK2yaa6YFCw3jDunb/j5WASWrUigVQw26wd/LmovbSAWVTgglnt5oZ43Y7UT/goLX5tBLKmPZjwxbh3WZKrHhVOszluXHdpD40cUyXoH1Gq30Pg98DSxwB5tFFjIriCKTWrU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340948

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

%MAKEDEPENDS%
ghc
uusi

