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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-63

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

%CSIZE%
282014

%ISIZE%
1422292

%SHA256SUM%
28b2e25687a157e89851107e6f81ffb1101be0dc316c5bfa4207d478e9d31712

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHy4ACgkQeGxj8zDXy5Ic1RAArIpKEZRqgiqeAk19FSdjMm5NV0C7qykOxERcwqeBZXtl+IoUzcyoBdBSrCNiDiAgbdYHZpbe123NrRKiWK3SARdtoaXVmDcqtILW2NXjQY1hzSkWYEctceaTAG0U5fyWGCLMv9nR5o6I/Fne+Ue91bJ+nnWLt92yt7WCvQw3xJeJZZVUmmko6qyoPgPWpb/Zk7v/CEI4xuxFkFPZq5hEDl8CJA6kQp3hm6DIf0LUbIXKQM0OLNE14IYP8gfUK7cereD9w1tWN5iQZQECfciUI0u3Fx/1FZpJnvnCl1Po/HDMYlCoUxHXHL/qvXv0U8C9Q/Jp1vyyjYkqmbsiax+q+51GsHAJzHo/dK2tHjyfV1Ixjx8UUXBiYaBpY+MiEjlELqiITgI3XvK+QgimRC1cIHGZwaip+fNzz//EMi4QCjVk4QhH1/x8VDwpxwbbt2XIwVzxJiwffWiuTlpYJz4hJJ8Ulq+oTiGWJ8Cp7VR9oF75DEhbIBqYUNlrCnL9eDlgHSFSlkOukEwxKWmTo3DbVEIT7LkTDr24mZDVu+K9t92pucOkvKS4YKMs+F8tURKBhumOWJNIDBcYGd0VRcO7vbUPgg/0kbihJEjcWP5Te1p5ztV6yceKRn8AixWG4ABLIZn4/mCspLyo6Oq+ns4lN3qnfNogp0DV8VQt/FecBYI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045916

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

%MAKEDEPENDS%
ghc
uusi

