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

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.8.0-34

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

%CSIZE%
4161

%ISIZE%
2848

%MD5SUM%
bc2df315f355aadbbcd256d2279c01fc

%SHA256SUM%
4a900ff1b7bfc470ab7e253aef395d1cebd4fbcb368b98a5a02f1f82323b6986

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM+GwRAAlXDTE0quM3ADYlo8z/iXcAH6CEJYjYEDncO1eZHUoHN5EWyXtWAKqkC4KICx7yscE6ooeKh9pcUKUhUdKh6APVzCdIwcf44VKePaJdPjtC+h23r6uWALlSSuCz2CjyMSv1T1UbR7x41Mn4qbZh//5Jtgh9ELVXoogGdP8S/zpfQ9dQ2R4vHMbyzKoS1jAZOxcLzADx0AXwCupVayBIJkuoYIx/cxalKx9gwhMxrlHDoejCqltkD9PYNgeY6lcAJwGb8lUOQgi3pUmHgvBpy5bW0R2jLOp/p1cZk0KtleE4RMHZCh6yq3HrlVFMpt05djm4KPtwENmbd3Y5N3MwcnuaUqR/I6Dnajw5wgXJn+vkAjYtrsMVOVeAyh+MpLVGTpW3W9HnvSEKN+hO+IHcgKpVS7V9kdBX1NO4zIWuwOaWKsQx9xG1llBFYFB9tAreHm0qZn9H8s5JJa+l6YOGo9zJT4IJmZZlHdbaNMpJqmhgFZqXWZ0irTBC4aBXHamOLSwjJXSgtc2VmdbRYie6afYJeTZQaDKeYswwHj2DAkOggfbtilA0ePi0YPxBD9XOwYcUp6JuRoezds2XXQ5awJJ9kn4PnzXbRXlq11fXYvNiZFrDDgbiBz/ve9teXws5YiRnuRHSyWhFZCJB7EEkuX9sON/1E//iUu/yDmvDvmgJI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341305

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

%MAKEDEPENDS%
ghc
uusi

