%FILENAME%
tamarin-prover-debug-1.12.0-110-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-110

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6136

%ISIZE%
3064

%SHA256SUM%
dd48657e30de0952270a953b7ab30d860df7f4435d4371e9beab44875d45ccf2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqqhPQACgkQeGxj8zDXy5LgoA/+OtId0nOFBMNSZLjccokjsSwOf3ekjySdVgwq4E2DMMw5TdUYoTH0Xye16iwKlfyYSyZlgCLEn8w1uSPZFKsGmySkHBpfUnPw6u6S/HUXU+zVNnMN06qIbQNwneoD2XtrqS5uW3es6NXVoKh+SvjRdmot185sx+l8d4el6C5bBnk2vEopuIlydr55F9UvUpCZ1ToQLWPS+B6v9mZjnDFR4SqCknp9JBlep/T7bnHH+BkUDQOdGqT/xh8T0vbb+TViIGGypfYgMvpEJj4cKmD0LQD/PWXsr0jibYdJROap6u6lIEkjSVGFOlfCn3UQNTu3GzcIatVnD71jPHT4/IfWMMkPr3CuEIDOi5TvdEasFff9bvAv+9S+5bEhroltydQHxNFAHunz/+ufEx4YUO6f6uBI7IHRHEWJQMI9tkikBidqkZ3rU4fpafEYo1W6F/cF7RuYfwR2+/cVdA9Tv7BUtJLmDfDBNszrIveKaFKOZGLnqOfNAs18PRh60OBWcbCDwtWJ/FV/uxY2Cqf32jP5B0FnC/8gxLos1O//XbelAZXdWjDNP7i6LSFCYhgVkYyKPu02cTP3AEaby0Tn5j9dW5/Sn66EsK9WSJ38EybiRr/yy3dRyMVTI/ZnIEwLo/TDI8aqPbbeaz5oBOGcpaht02sQgzLifhgUoM73UeCiGSQ=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789559983

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

%MAKEDEPENDS%
ghc

