%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-3

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

%CSIZE%
235935

%ISIZE%
1176350

%SHA256SUM%
c4c3d21da6dcdcd14f210d7cc5c06a8a319436cc09be3aec213803ec778062d1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwYACgkQrx0hme8KPM9p+Q//excSRdrZpYnSfZOQv4eGnbHLg5Not8hXZSc3nx53ItlhJMr+ZpBtBrOiw6VlXxBHkrlft9N3bRJDJIiOHrF/tDhqogJ3EhBXhj8xajCpqSu1CV646s4YPdX778bDNbE26KX82kk32mM9rIlT7jbaA+BIBVnxAS8LI1Hxgg0+nr+m2TC5KjV0V8Ddtf2AgP1bnJylsSsYXWAAeqClLofAJbp+GFb4+JE7WdrUZ9tEeiNvzFZ1IVGKX/RhoZPdu0Eee0f0Q3YclbqXQ+Qw5BTa8x3D0HHnRi59oRj6vZvYxgDRN/PPCG2aU3OSLqkJ4ClbXqVPukWpsddWOoXHMbu1FEatTuoKe5Cz4dyGiHbmqn1BdX2ApfrbEUkIL1z/GiE+zET7Jxfn7Ncm0n6MLoaTMmPDjh+kyRJSSK6F54kaqSWZCX9y081yIfo1if+ZSXOwwbRViTVafW7bqqrgKE55wfyopf8zISlZYObLMsF3Q9Y3p1Oqn3MhJ3OAACyfmkSVOIGDX36jzY4ct9phEwO7mYpFOojFlofnlchbdYHOIoRmommMHh3HtVPVcEvxUbajaL8U/WNd+aL2QMiLCIgIi/pD3CIcCgvAZLtwQ35VEiT8f79YElWzhn/ubHJ39agHiXFygqjzcJPbJeLSV8xFW7N2gXOnspO+B4A3GK6Di+M=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933833

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

%MAKEDEPENDS%
ghc
uusi

