%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-96-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-96

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

%CSIZE%
3830822

%ISIZE%
21118820

%SHA256SUM%
c56681afeb43cb564b9eb907810c32cde07938d65ec8e4db5fa8328dfd982542

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQ/0ACgkQeGxj8zDXy5KVRQ/5AUQ9Jjvu5wW1YLWAkDq3HlfAsbnM1iV2dsyEwjoDIxHbu7mPklK1t7kKPUoJsDxXyZLgTPahxxMgTupcYkYDYggrREI3sHdtNaoDT8n5PoYYNLj8GnLTuJzOMselcIhhDth4vwwX3p0KrmIqFIXcfNTbBj9ZMmmiCq4qHX1yE04UYZTEC41PlA6TJMN958JlFF3ikpKhwhOHdYHOHTenb8+GPzwJAE3uTEgvQtfvOpRn8daxj6RhzUSVHR8hqWxLldABGzIV6KGz18lKO/thHgWiYUOjLkjbiUC7i5llqbAkkQyGKVWFy90KodKXs7gjn7//+NOy8+4VJV4YRlHqoh+A9BBc9aO0DGMTy0pPNf2W4LbW0Y9+n5HgQsvQS4nRxyYRITXapKHpT1zJeN6q0acbbAz3SKLShDL9ACdGeSiQ8Up/W0rMISg+z6bl9NXs2/jsLRTFcV+vok4buO8wVfmiZagKaGy4WdHAtSzzf7AKfFObtAbXm/GSjmcMzb+Htxjf5YAagW3wmgtuiI4PKElr66HFgPDvJlDyyf+d/o5x9Jv9yHg5vvUiODbmCMYU6Z+i51ahtn72h67no+vrY4DD67R5sLPSjKUZhAacN8yF9H3c/+FrdacSLoox6pn35lxNkl58agc+gCI/2FVrKi+45G+Mw2rTtQzjZFIRkyw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754610

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

%MAKEDEPENDS%
ghc
uusi

