%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-72-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-72

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

%CSIZE%
42001

%ISIZE%
170280

%SHA256SUM%
25cb002f042cdca09921585d40d07535afc185dcc10c11d707767242e4e470c3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxjAACgkQeGxj8zDXy5IpYw//VWTjs3zqXRwRQxFRpw2bl38B8yZqlQ8X+5a9KnIqMBNSV8GnhkW0RWbIindOQyOfxmMOfXFSOy92LB6N65YraNzFA+U184XNOCKMyYrr/VBAT1OYNvZmhifbRw9uqV3HBofnFcMCTKBIjWhVTaDRz5J7VgEddqpSA2YUABxWK1xLVP/wTdBXE1d9K/tcooSi0ODKsL0CQSZdf9qisehYoRMWifKrmgzu/mb/bd9YHrL2Hyjhau1NyhdxSPfZssCg38AoJ4sZMo2rOVoCMK+apK5g4a4EnOIuTaH+XowwGeJlJoGT+IXKOoXDQYZTmd2pbBjgi2WWt66Cj7xSqP1q/2vimSTwongPQUlYd1al6mQq1j1y98OitFU1AFY/wNsuNmb6YDXbxkph1yu8xTWdzaj5NupQ4W88w4rm0+U0Gh5R4vYj4/qL6yTlMzey4x/p4liP3Nkx2N8M49GrtDvMC4yAkhx9wKpdpR0gxn/jxmsIBUZrrEvDAeDQJlexSG4CmqRiDsL9Ds3ZlNGFk8MnGhTSXDDBkRBPnntxSP/RxCplrQTrjK4SvwQlqYjs+au9hmJ6Yv2G8hMAsHu5Xt4f0KpmsrQSTXMtawvTlJxRnuizd1O9zIQf1TUIZ6DXZJtTKua2DxuWaVWLK0UeUWmFpMus51IDAYUKypTFIVJGXGk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969947

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

%MAKEDEPENDS%
ghc
uusi

