%FILENAME%
haskell-tamarin-prover-utils-debug-1.10.0-139-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-139

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

%CSIZE%
174503

%ISIZE%
964351

%SHA256SUM%
c51af1493fbe582dc43200448758c4624819d08d1066f7cfacc34bcb5b152116

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNGAACgkQeGxj8zDXy5JCHg/+J+rb/AI7aqCeVJHoWDOyyKybfESzmB/Yw772QkfoEVHsHKLbE0UAC3WKgHPa4EbLjg9Oj453S5q7GnlFvb0FHpux60FxnWUJAWgsHUZksz2Oc4f3PWHJNxOXC0RTllOTallRfzTnJBr4sugyqyyMjOmk7zq3Bv6cQtL6xmN8JtbVHibB2qvO/BOdAJrClGjWlgX2yydj68P3Rk/ArnevYSFsNO8qeGDwy+SrDqc9N8QmCddj1tvX985N8oqmgJJjJLJQ0SHpp280Figl97FMp1HS3s+xbgObiWKV0O98uclSGYVVGY/U0C2LlYe6OVwdlV/PZDqLeVtCVVJRXSNpccPxf82NJY531+q3sKqa9aE7omPd3XPOhdsHP1d4iZZutGOtSUS/nQ46i2XdK0u+IBjWA40TvRc8TT2T7TceB4WcftWuoy8aMDpV9Jnz70V0+AUDulJDhYtgeSwM5ohaIKSo+i5HOKkYoy3RnxbDsIXqXSuqqAzeSyP94vK02fBQ/VifwHDaucunT0Ae4otrXV5F1lIVWkZWPG/kDs5SsIk9TqvD1V2ka5trZXhMjNvbvK6hKXRiHzN/T66VaWyikqXQD5AmUuZ7v3vUWdZqH9SYuO/G2ytPdTxr15TRlNM9JPH4o3Yj+UOCWTTanLMi87AtXqaGUMZ4CAzZZpIRdfo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760572483

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

%MAKEDEPENDS%
ghc

