%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-91-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-91

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

%CSIZE%
267004

%ISIZE%
1213573

%SHA256SUM%
6dce518b273a18a51e5d361a89d7f9851a50f6f9daeded06520e62f69216ddbc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbi4ACgkQeGxj8zDXy5IEbxAAkHXUyICUYp6dXo+FSMWfniySgn2E4ChL8Fy+TTWfvQWyMeDLcVUOj/JelU9Jb436kNpjDyMzuqQOd8UBtbH+qZLir2bApDd6e6raHYoDrzRMV3/ASNgIAObgC0o67ofDeXlX1MbYH6cY0xYckc5FIh4U49X5Gq3EqXxRNur19Z/U0SrCpHSt0LlcRl63eCQOAIaWg1u+ZJGWwcm4bMZPRhYhQ/SRiBke4WLfDnwIDWuC5VNZdF7f5HVDqsRI2IPrw9hEJme6Dzcp7DQ77zumgIr7FW+H8dOCr9XFHV9a/yQSD2Aug1HV4pW7pOVgV4HhNqw7HTi749dSXB/v5YOnO8ErzyZlAjdNi0Or2+NfnJFZZTImjRgxiZMICjAFdGn49v9iB30+LTH2wCoIx/x8S5z2tZSp8Kb+YXkH5gweInswAApxlfg8RlZtvKJF33VKy+9L4q+GCvdqx4i72/P2u546SlYBGlN/UFOjAyKH3TF78Y+SAwrogX+x1yXCeGGQWz1af1zF6ChWmEx3oWvGvsVa+K3eNAdPYKM7POcB8xgmUUdI135XHggyBFnVvK/i01kPvljsQdQ1zi1cF2250LsR5ehFTq5M4VEgosZy2puxqjCgFAI7RHsZKvdzLatvGv+0xZGipf2G2iXY6jnR+Z4vU97x4sAquFKy8wU/5zY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792241175

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

%MAKEDEPENDS%
ghc
uusi

