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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-38

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

%CSIZE%
281771

%ISIZE%
1422364

%SHA256SUM%
0ba907f64041dafea435a439476713b46e4ec2115ae6bd6cedbdfa99f2bf1481

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmAsACgkQeGxj8zDXy5K1Ow//bzBYxOZ+2oMBxyT7mx4j+t6vAJ/gdP8cMEGX8pOEXoaqEOOzC1Pw2DGyRbvr0jy/wjHYRG9tZx2TBt4hBlUbrBdAGVDWj3L51csxyor7FagbFkAM+i0cwSH9Vr/iChrMJBwdpSPGYNUnKtBb94s9SFJTDSMRBOI01Pm4PzIbNmmSqw1ikBPtqjYZco2C2UxXTWQQIuKLeUmFLznsQEwiSptFZwBtDDSxRsW8jMkGxC0gSA8XPfTOlOqZ14zkc893GqdThmwWI493YzCkeuoJctHgEeFsZstBDmY9njWwymTkgLsyzuFp6IgZ9cZ6+jwg0Cqz5hSwb5AGVE4768id0/6c/BwIwl/NV+0X8Co/zWXV/5ptSnjs2xd5L28EPmv2mN4uko0e8uYEI0wnhwCX23dfKKUmxHiXS8DzOlR36Ig0DuK+yW77hSBDPUdjtOOVSB1m2IMNTRoo5g+wx3k/J4SLdPknQzdxYsfeiikYm5ffvQ3RbmrCLPVA0CpB4t/n43cxox5/ihnLTqRC3V68b9Of3GEpAJxUT1TPkB2HghPAmWzGf0QvQh2NdvO6l7848bxqM7KbA4dfei6gLNDA4ALmaAVomh5K5kyx0FfgYyCTASug0il6Rw3QPZZAu6PcwFK4kgsHQs9vj/fRQGaDnKG0cqvYogXN2WkUbHWWaZg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324327

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

%MAKEDEPENDS%
ghc
uusi

