%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-66-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-66

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

%CSIZE%
201588

%ISIZE%
1148898

%SHA256SUM%
119211059172ac593add42fe1b33f346bdf39a4d85743f30a1c7d920a1bc669a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTLDwACgkQeGxj8zDXy5KOqQ/+N+Ze4XhueTI+Y9RbdVAKscyZeM9beX5Qh5gIIA5CKrrwsQ34S8XtE9mHMc8i73NtRJ4Pc2I28xiGsmSUra9Od714OaNOH+uwMfjQ/Gph8ZsBYDavNTZyfs1RVpnqHRd/m6OvR/b174mfqWe76HYGXlwaA5JSyLZkB4qmFGucROT1qhb+5LYScQTClTmO3K4zhx9aFLbvNFbpP48sPaWX9b+UTlbDt8Zh1KJs67EfQxGHgurcoCFWaeuZkdq5mR2JKtm/9KuNHaN1q6CAmXxRZovrxeGucYke55RjgkiqYcPgqoYvAY3HISArWXqwcr8uHD3kCOqbNL95mSYcmGaINHDJ00wRRP6O6Dr5C9Ocho4vmTRSQoPnqTt4yQzhmVNPbggtoldm/SueQKG0xYGyRZqN9frRzP2YcT77sQhu80NJ4AMFywcGsieMvqloc/ghodWnLq6gfYn6Y1i1k+jxOL4fKCrXhDyPAnLaeGX1VX3TIVRA/0ATIMC41NOy1gIP035tTcvOiqcVimj5hj4D8N6Ey55T2KAIBD1Bd/xVO4JV7YqRmb1TdrzKG3WzgDDNVZnPRGyVXmtLFOb26M/ct0yeiOv88voQVzlyTGqtb1a/mKvSOdVS7WN1K1uz/KRoerZ7V1a0+Y/LKe4l/vuE3f4WZq8ungF5OI9UOImT5d8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788029989

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

%MAKEDEPENDS%
ghc

