%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-67-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-67

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

%CSIZE%
639110

%ISIZE%
3736305

%SHA256SUM%
28149ee5380a7cb9fba1f2f56279445387085a20f8e2db4f813dc7d686f068ad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTMlwACgkQeGxj8zDXy5LRTBAAkbDRoTFUXmSLpb0VqQnZzHlb9hQ1zlLfi8v6Rd5rQW5cEcETYc+1INRY3eerw2P5nd2Ng3nu59jEXnOr2OIKh5deKq9K4/DsG9QzHr+kzWsCq2cV56TxfPC2/c1vGdbsJ6iEzwxctUMqMLZ98Evx5Xn42MGhhsfVg4N3FECdwUpkxysjs6C58ox4hPm07JkqBKnY+unLKA4ZI5ZBad69EyYoL+0ZJhT0xM06sOLrC1326lR2OfYii8MbdzTymDAOdAyAROikHFXh3rOGh+9ebq3VrxOwj4sekCvd7rDkh60YeMfEtCRXLj/+QGEZM6716NM1fu2XVog+VO182uGyfUKRUD2W1ccNx33RsdmKD751ljhToWOWOYYWYCDYLg2/F3027HUYesm9yXumyJ0QgTjsfDwYGVGk+fIyZ86DjOsVyNNPXezkOJO8nZJJEdrXC+dm9bHlt1k1zMPdCVc2PtT/J07VVXON0XrVxdKn9Ge/tlqIzf0GAQpLE3xB1zXLETHQ7fBubLFVhqsImkn/667Ii6t/oWPYLT/2ZSIaCHOMHg84e76Jglzd+jhFPv5yyEeeLWx9ETs1DHbNOYAKBzugZY/NpYaeisznHlgc2SSDJbMSHVrWmC9EnUySa4n7um0BuOzHBOFWLfHHWCsY1/eV9whQZFvpQ5JBNw7pfq4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788031556

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

%MAKEDEPENDS%
ghc

