%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-75-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-75

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

%CSIZE%
201678

%ISIZE%
1152594

%SHA256SUM%
4c76125ae0644f3fde0743a6a3a21ebaa1cc03e33c2d3123587a3cd580e3fa2c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9Gk4ACgkQeGxj8zDXy5LqVw//Z8XtIFVIJ3x67LErF4FmFmb3cdW97Jg5AK/+3p6HqUJtK8h9bAUvaXeiDRzMEoW68b2xkrLeAX4VnkBSrq+5c09f5e8wWYd5fPwamqMOcHhKwZyTjcH8vGtAuEgSCU3Kw1aOOp00fOhyJ0tVi2ipWFESEgIAcyoPRI9BmMePpNWhCX4aKHriObyQ5xEOEhNhYh/4Lhqr2e8+bCU2xD3PuWrEOTVLOBy+JbsvDNEp9+Q4wHKLjp0GI0i0RiANEbyBd8K/9gX898oMFMgIY4JC3FP4TcN8V4/pS8dSOIp5ORT2HJQfzoRwr5/RJMIDfxJSnZr839wgkNqU7tTvOmnn5CcMhKSMF5iQ2eNmLA9n7j3R7N0UxycmopVJ/GTugCygCMixLUU37R+pajAJqYuwfTOZ1GrtYrxtrVHGZN/VxIDQo7q25lNxwvMz6jXmKi02jl8xZS6O6gutLiqzKCl93P9RqlkqkDkDdkjMQgoKT8d9XXpffNppHvPvJXGB0exxH/OKdwdAiTn7+pHFDgrPyYbv/GVGtKSKGjK7p0Qjcp3IZchjvlKSEY7suxwk2CC10q+7i9uewKYGufUwgSVAsxj16JJ1eTpPVvaWqnVVO08xceGnRti2b4JwIzd1g7jDyVmETdghWeOsw3upch+RtWGWj19B8i8Oxhn6vfmB4TU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790777913

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

%MAKEDEPENDS%
ghc

