%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-76-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-76

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

%CSIZE%
281453

%ISIZE%
1419676

%SHA256SUM%
d97705325433691a798bd68421760fe8abacfe4486ec837eada862876707c11c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HM0ACgkQeGxj8zDXy5L6ng//VaCA5PwqDXBSwxm+AtDCbb22vDo6uKx6l5AhMCOlVGmv2/0WkVdX6PQHWYQC+oehzhIpUjbPZixGyKx8tspvBFxljDFbG1DI+fxtAsV0vxvShFNTO8A1ImN3O2M9VtVaYy4fr7lHAuTMzh8ddITMlPYHpzjs+guIWm/XUs0svYNPmZSPFyjwUw25rnzi0nQ/nR6rP5MLQjMrPvlnrsG3GzeR9FC1IrRpvPB/yIDNiBrrYhaiyaYA5igLDrca/mW3MPamRcMmah6QjR7eMh0NumDX98WDYqmn+1RZFXzOT9CPzyhftJsIbjWvqmPcoNDU9ItY1jbudgivLuzpC0DVih3g1F1RwIe+tXQra3ziHXopssulVIWAZ+LOw5dMorgkUY1weuo/ENcUzL8ZmilDr2+njQv9Y5JeYOz0b98pYPLqQ3CNz3cwJwUN+W67niKRou+NALERuctUN2kxdWHf2EPoZuPgtjL0D3SMhWEmWQrVYALfluc+fbiye/1xsnvEFL/ukYPY3o+KEo/meBz/RWENP9wjaOAUrahiBwlZHJZbPSCjqClKDMFeLtYqEspFUkVopWgz+LvxsFOQt3YMKv8vpJBO3nMMBwm/RJUp0Jb975RRCghzBnw/t834RnV4VOWpKVnm16xbq98QqOKByvEhdBtjZFAWw+9ssD4TxhY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778517

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

%MAKEDEPENDS%
ghc
uusi

