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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-62

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

%CSIZE%
638507

%ISIZE%
3725065

%SHA256SUM%
197c89034cbafcd1d70b85d1d4f2e95c1caf0067749ebfd6c8fd1f7834842a37

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHQIACgkQeGxj8zDXy5J3ng//boBsvRPI3sUlQIHPRY78iEXFmvo9m0FlM5HctIZs9hG75BVd1GF72E+VgmtD7YYWJhbA3Aky3pBKVs3PC+z6E02hYCZbOyBTwbQI7dOnVLtSIYyPbxhx12m9P4R2cBaWHsQsBP0qPfQAsUWPkIVFtOySueUWhiT2vA2+7cjAlTJzEx7/CTvQ9dsVdBqkkkOkLU4gcac/T7VU9QredDBaPduALvbXi7TFPBkajgBmch5Pgiz/89nYTG+btjXFuI7gsIgp5kD733Xdzu/Yf90FJZRjCBi3b6/vSYLBHrQqMxtRm3pyTo2SSBuL31I/3lqdx1iCBdrlF3X0nBU4KHTDC4Ca5VdaJQCremEie10o8XA0WXTFCLVqq54uTSpAKNLsiMVcN/RGvKWVbZklEijA2avbfJlKnhWxaWMxCugAcKJ42KWLNsIiKo9jQKWQsUSAy3twnovdi26MFOplc9HZpuEqrTh+I+IA0xTCuvfW1pja/8iEEBxyix/Y76C20QrQ9MUTSCJkIBIP8CnZYigLvnHdkXtsd4HcSwA0rw9y6cbujMJawrBTQWVN98S4xaGJJ/udZq2/qBei1ELy4d70NB9tsYPDRV7OA74sUN33YYRXpqur30Q0dF33n3fuS/fjPEs/CiCb90vL62k+Qafx7YdPQVBTDNnAwJ1ABnKtc0c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045334

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

%MAKEDEPENDS%
ghc

