%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-64-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-64

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

%CSIZE%
638608

%ISIZE%
3725017

%SHA256SUM%
239870e5264246956a5056e47f3a2f1d12e6a9af50fabb1cdc2ebd80de1d69c2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7ZckACgkQeGxj8zDXy5J2sA//UY1FeMkETrzvbJR48KEya6M/wQGZm+3Sq2O/+ch0b5cADr7SGrBINUUocrBTMkcM0h0cpG1Y7zHDue3RwzyiumwZmVpB41MQ1PaukhLeCfvQD5NBfR1nIfLmC7rZZw43QCJaiQEot78/GKYb7BUvqI5oWrIecHjWxrl+rS8jFa1KB+xIsafBhY7H7OAvOAZN2lCCtr77WVutJ/6xh2NPjtawXLvrO223CPEupKcuMoUc/O2PPe7XrTCBcqBBOvFMSwRyhIpChLfnf2F74SiDs1xUt1LrRN+XE3SaKS29kRQvvG302loe1bSF6cneAj3Y7TuJ5Rhk3Mj9v/pPltT1ZXDrmab76vsLR0LiPrwBDa1h1zZaBVkKt6Z0Ceq0ulzG+MPWDF28IojcXmgOjb0CflznUh30U52czvU0kQJIXHmKsa6WZbCiKlzClSNR8U103yWSVTh+Z9ZinEr/oeBtCzR3hpRnZ78eOncTw9sod7HVDiw61JSFKr+GyaLySWSZxHFYVU4sCCFIDwP3jqGAEMLnmgku6HD8g5kRaBMwPMJVBXlf3Z2ghK89fymKSKKbkEpx6CXJ4R0G5FEh8E9OdyTQIpt/EYE2F27bZtHRexb/lVy+nJtH0Pcf6rJoc9YfgzbsPBoCPq8F4/pmDIBvjr4Ab2d2sPKIcEWSZIx2E7o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786471815

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

%MAKEDEPENDS%
ghc

