%FILENAME%
haskell-tamarin-prover-theory-debug-1.6.1-138-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-138

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

%CSIZE%
4026

%ISIZE%
2848

%MD5SUM%
393a821eb3bb304bf092ccde58ded362

%SHA256SUM%
d7b628a7671a46a286ffdbb9c8cf2facc3f7bfbe07c86be13da378ec5da50981

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRgCVYACgkQeGxj8zDXy5IeFA/6AoU1v0llOsxW7E8ZOycCrZ1pgAWUk4h46okKcJpdWD7AOgHdd1FrPFA7p90CLhE7u5Nny2mDHenTo6eihMvX1Iu2K5YWnYDlLJsBkt677vkKhLG92+rU/wq/KHZW8ot8D7iayyjSHFQlNqdcMZHbw30J/GQU47YNXJgI8ZoNztO8LrTPWC9h0oJlhHkeT/VZiVrRPNPBANeuYEWvJxwDpOsDB/P452y1nAdHl+Nme5+bhcFfPM8Y+J8Rm7LZZuq4SvYtwiHjYWVv9VBR744zEJk9O5pPnPwc4TsJJqjdsGR4nDs9/yxD20pAD07tOrTl6M72dGSeTj/QxJj4d8cSl3v0D4/4WzLt0ppQmFthqyWJVMIcTE8g+M7mRyJGzHzyh4wbHOOXDgsNTIMWDWf8R+hYDZn6dmvAJKrR+F3/GQa/4F8Vx+aOj84k1X2qZMKC75RkvWsDWU5tUg0rDfKJkcJvUUQUzD++Pw6pYqO/jeeQsOggyXxi5yPhsIn9PFLjX8NpdWFqtfnB1NSrTHGhoRDkufsFWRPwJuQdLehdcKcaOydOSaCu/MVczakG5uaosxx3dz3Zi9hrFs4xt70wXFxB6Sp33T43abyBWiY9cTH8/U5YLdHqnxhxRiYMnnsIwmkeN8k3f5R39PrL1W2VsTUtPb3G55zIESKmu8DcwWM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1684015181

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

%MAKEDEPENDS%
ghc

