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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-39

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

%CSIZE%
266953

%ISIZE%
1212933

%SHA256SUM%
856480fc203feb5416ff69ff2ce11ba730e8aecc4118ee9d323fd92c6b3b3b0f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogPJYACgkQeGxj8zDXy5JG4xAApPoxw/HVgYfl+qlRMYgXrxjN7XXisKcr3KOeh71TSqf9Lv4jpU+GgCiKkx8T8ICOLxDi+wNYAWJCR4dQ1wrRvR470fSFu3IG1mLY+TADf7zhY1m9fVIpggPootuncGnuSwD3S396uPZV/paC3ADzKGPUYxAzDUr1ZgqUZwYmCVx6CKVu+n8rrrR33YLsazvPgqU0m+odGapL0tIHhOsbNT16XSVrDFOAJQsK2mvOG4/sJTo+34MJfA+2dn7s9xrMzf5W5eCPk/I2sKgEUW6Bms1iH73POpdFi2nSbq+FMJLJ40RC+vUBuDdPQj3xhIBka2m8SJHlGwnpcyOj0QhUmfBJ3qOpzat70VnMtEz6XGyZZoJ0jS9GU7Kzycd+4hlFrRm7f24TvWGhdE/VyC+PGQBXrkMZn2X/13cnVBPU7+IrdOPpm4mw9iOAYQWSKrJ9XHlis4/n7iKZ4vmX2jwiu4PRFWhwAWmChtabJfS7ZXz39lm+DNodI/ZvzZbxudJYqkAsbGhUWdD5dTxoPbEsoF41VmYHMJcgQr424PtCgAf7j/FkgK8WIova+oKCUydQp2i5PbcWNsCcBnseJH+63Y89Rzc+HwwTN096LH6zJr97/IOxEqkHBE7IWQCFuFb7BGLICkVqkQhOAjfPNmfQIxM0oamgj+OXP2iNaeRdlt8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780497506

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

%MAKEDEPENDS%
ghc
uusi

