%FILENAME%
haskell-tamarin-prover-accountability-debug-1.10.0-137-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-137

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

%CSIZE%
41206

%ISIZE%
166576

%SHA256SUM%
bef3c67a952c4f0ec6089452662284472765795a2b28cc3910e82e6351ac171f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVWcACgkQeGxj8zDXy5LBQg//Vd2j4XwUjmVsPqpnxFk8ay+Fthf8+JLgkujm13O5Yi6lXz4OVPOtFuDQoerSqCJIOCN6J3uRJ5o42qPI9KtmWtgwA+FXfeV/VyZpm4tdqdSH3vU1u4Vt88N4IH9mFp3mwgSZrmWPYR7zSzAX5ii2mSJw11AqzssCRJkbm8jf1Qb0OM9/zX8JCuVIN9qxyYOEuj/Ph/Hr+mQRsj0MKFtFqUNin5suxfOFZTZGVtqiLD3HpBSCawFMDkiyt0PNCEDB59o29V5d3PbCusCywIB9FqiDDbv3wcuU8M/QK9YtJJBa93hLIAf3mXMi8gCcwDDrMX18IsWGk45XK0qjKWcjm1lTYXBrGk50ZSoHTS8U6sNSwrUk/0z4eNBrurdLoas2J5x+EJJD6sVO1OnbgikuA2nNUOzIwZhUUaiaty5K8HHRA25bTgDmfY01qj3iMy8uqVoA/l4VVCp5iM12nvjEfLP9/7Snn/lwJZPLtGAI00cB7JlrUXXKxyHME6SmDbB9vg2uuTLtq8vPc/uCq6hq++YfdMhy5vwZMB6XYeNZtc19ivydiX4LJAzLhIdr7Ww97nmRcnDPA2JwQddSpe57Rfdk0Bq4xt/I3V237DQmccplJMxH+ur0Gj8fOcuy2lQaC4ctQgQriwHW7piSpnMVX1rYcCWNsJEl5pitDfWE2Ls=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056650

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

%MAKEDEPENDS%
ghc
uusi

