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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-3

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

%CSIZE%
575404

%ISIZE%
3332894

%SHA256SUM%
f735ddaeb01a4cdc57f248af2fbeaa7c002d19c2e6637bec1b5ecea36e46985e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4Pg0ACgkQeGxj8zDXy5LMdg/9Hwc12G4vpMus3unhjz8GMpKNuK1QwE9Q5xu/oT1AREraroQoRagtg+58wn1y+5DIdwRFF6I0hDTveLyzk8MEs/oDJK8OhueL6CnpSElzgZotq70mWKoWbhgT1moMSIdepcKTwXYU86ecwHnNFf+idru3ugEZBzzuYuvQkkGJtCMashHNIkOpzR2B5mdjDOGrkhmHQeqireHY4YkMPPyJgWRAcWokxfZdLryGLjHfbK8rp2SlIRyGVXh3bWvW1n/el7lL2P7SBjINL7h18Mj+vySJCQeNbS+L/hv2a+sqiKR16tr4lxbEQfrz5rg9E58odJrOYBgVp+LgSJ7I8J1tar86875Ork6m7caLvbobfBzwXbbywxLvjAx1Mho2EwhT0vB02IsY2q/ApcVB/DRvtybl2yb6Pk7YmAPmt6mM6LCePqAknik8X90SWbk8nMJ9U/hJzO9MJmip9o98O/x6DXEqar6r08i/LntcDT/io9BdTSY4hcViNEu1Lq8vB9WrvnYC7VRvDBsNIiymmpJcjid2gnuqhril3PEE/K6NTd8FmL8ElLNkswq9+l9VzJ3P7ePt7v1ktcU81KaVoasXqOuvMUMZ8FR/UUz9h8R37lnGoJ3XzwRs2rKOxku1Va7eW8q2eumgyEA0HNk4DyBBt7yKZiK4NZSjGGtlA8+uIjg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933412

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

%MAKEDEPENDS%
ghc

