%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-77-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-77

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

%CSIZE%
201536

%ISIZE%
1148914

%SHA256SUM%
b2e550e00ac55798cfc185e6f6baa08ae3f0ae132c88f8a2768290eb6b58ac6c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/Ei4ACgkQeGxj8zDXy5I7qhAAintJauicK7Sy8ensrjFghtJbLNLQmRzQY5gZiEMv/rK74oTbgqGO9A7D7+stKcwD9oZjiU9soIvAY+3xbV/2DrO8b/dMJSsiUTXKecX2qzTHGujrVvhizeeLwBmjX7Coey2yWMAM0F4ENf4o2BClyDeQGPcR7QbooK1EIo7SUm1mJvbgl9BvLWY4RJJl3le4tdx6IGQE/+5mfoqQThC2bCBpBDcY/VhXTlZpEfeRrBe8e9AeeLSNvnosiZ77TekC77IMVV0AWs1QZ4dV0k7uQOfEZxMDlqbTptWKVMs6Bt6G32wh9xZwLK/0Jcm91DzhYpbUVzP9EguPqV81MVen+mI2p3tOlxljPHhugBkCPhLFY5cyFRg/DIn14IFyPWMXhv9qjYfSlKEOml5IbVGvPUHvtbSO2QyQqo12wYRxlgwMzv8lXfTDCJ0Zh0Qj8JvnA+oHAo7FTLe2Ia+0LNzLPwFO3hVBYba0ZmiH4w11kBIf0kDf32ShqbR/zbgkt98dDXSxinXoWL1Kq/efygEVsJSJ13QZBn51oxWB7r74vss7/nFaiUcsZKzw63lXI1DMy38BkmlLqKXWxWvABpY+SCNq7MWmnpI+5jp+aZ/j3ZL0skWOIM0ZJ8GnkhzuVLX8izzZpd4v0HmbzLadIN0iyh+k9YrvKIbYsaehSIgVTfc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790906847

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

%MAKEDEPENDS%
ghc

