%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-28-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-28

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

%CSIZE%
281957

%ISIZE%
1422300

%SHA256SUM%
f2eced00a35af282e9a9c11087255b5602fe977adc68cabc28c9ad37a22f3ff8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7IIoACgkQeGxj8zDXy5K0WxAAg+RHEhisO3i9LErelZJTQFF5RdMq6fRTmjTzZfhGM7GUdECP8Bey6x+5gB1MGFrd29dQ8tWpht4rwxIFs9xwQbNrP8Aw3e1GxqcGffWS7fFiuWONr2kHw3K5yvbDA+i3LyfW4rma8kV3lyrSsSo9jkQ6X4Ht236Dhu9T+YuXTUlMTCnDCn6SFQE3TSAMdmi9RL4/FYb/M32qnQ+/HVYKoObBQp0lqmJqd50sjMzDv2Ho4t+tHvbgjRbUmNiLuZcq7BhfDB5MEKX/Zcp8ULfWwrIy6pudiDIyYEb+6gyYq/50hSpUqflYUen485hHbw2oE/HStC1wpYXebnlGynEwk+hZtAGyPsGMJhamLkVt5l5/Iv0qktSwp7c/Q2+3YwocyKeCSBbtAbvLU9QdumHEjEhFiOYGfuQNHnWGw6gRMJGo/op+YcSk3BYRoh3pj+yKGCFaV071T50FNqTh+D3pz4OpnVlbB3KesE6QjbWGRLiaDYNiu8UmU91FLyDcbr5m24WFXYwM2SadWfhkqP0f2Fvqe7cWkBOB6a48RIsG7BxDwWyNpPtEzfASSSFJ69OQox3xg2nlNXG7wdVRJjdUW4CpHo7GT/PUxrqFc5xHSC0UAGIWwoHPeIgD4YkHgRV5dryjsD3D9TCWm5xcmwbV4BYYPPTHMjUx+ceHDnU0dkk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778065519

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

%MAKEDEPENDS%
ghc
uusi

