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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-69

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

%CSIZE%
42036

%ISIZE%
170368

%SHA256SUM%
4e5903c83d925b0f8b1ede11099f240deb79320b8e0af854c6889cc8dfeaa188

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVVa4ACgkQeGxj8zDXy5KRDQ/+LWz1xhbBu9WhwsUV65pEGoi2UmT9pcjoBASF1mod1rPsAztfu/Wey0mfN1rHuqXJJWWf+cSpRcjoJF1dGfpul5WC2RBb7yTyB+oHW+nuoCQpI9gAuTRlaAMz6XHjfQsEHsFODJCJmVDdbTiSHk2pcyp30RVdMT0VN7rvKiH3RVgANTTN6AmZlMZkSM7YVUmdun9OPpm1LgNcsLmp0XSKg8OoP8uZh4PeIOFEpcCoV7bYuBPDI1MY0dUAvoirX3kLWzyUwbCH8t0ogXRN2B6T5K6lI74ILV9fQgFCaEWF0DE3gl+j0ztdu1YeoA2c447E/VCopc4Ke7lc6pvoBNM87JaaLnGaH1THTWOkhKip7vbAkYlW3DPSEplTRKYD9LOHnx4OmBGPtml3CJ/R5lkQH8N45jApm/IUQrLTQxtznKqY0FtoBu3ESYLf8TpoWQXsrdYWewr/aEJitYyM1KVSSzR3ObsnkrETLFpVRKlS9ng9ltXiauwysmeEzdRRamuY4z7AIXrv38nnB76SYTeB5BEH9O2E1F8HyzPX/aHyS0vLhWZhYAGzGGymXhFDiLsugMA3T7g0nLYqYNdjYqzK8e/60LV/vAo9VrCtlTQX1Dgt4dQcB6FX1D0fO0LGquSnb2WWljTcq3EBLbZ97GvxIcaKawKcvz9Y310IO27Bs+I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788171658

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

%MAKEDEPENDS%
ghc
uusi

