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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-3

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

%CSIZE%
41952

%ISIZE%
169192

%SHA256SUM%
68614f9b4aa5ea4b98e30056c54d3d748fd65ce08abc08f86b168865e03471fd

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4P6oACgkQeGxj8zDXy5JJCA//T0Yaja90mAY8KGxradfVN/a6eW/o6vzod9KH81r/N3KW94IzK1/+0/pc/1K+4MDy9eImMniltpwwtNvxn2dMW69s6nYahF0W8zduiM75z3qyw+qZdEjfrNsX/id56DuGWJYglEN+ejyA3Q1sJuz2UZ3X4/DaDcKL89fkSM2O26ISPAX1R5GgvSDkiOWumjKszt1OB3CdtGQK8ZZyixlnItmzoGYl75Th/svy4FSVXparG6xyaAe06PQL9Ej7oWGC+F8x2xbaFeM03HVfaHI223VpHTi27XlofO32PRYV87Jwy0VPXY+eRN0ZRSRQ7GO6OWv0iLhyPf13gImaZziH0yzHc8HRqz1DkrqeSeeNLdcAO3tCS6oGpNQQse7O38EqJFjVmgvzS5zowarcj2Zi5epzubR6xf97amBfwknApCgroCiaF/v2t1HA9g8RNZH4WilEpBdQehP0uu9DP5FuMCoy1XJq+vtTvWcDD5Gju8eY8Id5/aKWVu4mVpGSpj6n2UBGF12YZ22sNq2cAxuPZeDObODyQssP6+vgEtyRRoO7w1TAAOTPIOBhARWScvhGZ4njRDkbTNXHpLOrsszhlVfVIk6Hp2zkaTBk5VyWzItOPyFEAzkieYyr/jtEqG+mJGL6kGQW0hW94bThpIFuAPst/ol52hKu79mYOrIFxPQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933843

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

%MAKEDEPENDS%
ghc
uusi

