%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-72-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-72

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

%CSIZE%
266857

%ISIZE%
1213741

%SHA256SUM%
7fd73a5f467764c0f25941c47757f6c5fd3890bf4a99da0b5c85d8e51d9267dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqxbtgACgkQeGxj8zDXy5I4Xg//Z8h7hQq4LWV/SbIGxXXEYa0lATQV7StalkGOrjH6NCBNMBoBYR7M8GvtGhyGVTEa7r2jDtGUlrOhvBNMj6esaCKLTm+N8EA0FeSif6UN9c8DU6EqRGahBnSv/yDNVzigBkhj1kguzRK/VViOSG6eiozgIp3PtRjYaQJPbZj1SvGkdPcUWh41u2utkrzHC6YDz6QRkIDT1d6Pymb5hwk0riKr8Dkb+AQdhV4nnHoDeAQlQsTJgrgxGUHXsOwlvYhYNxQAV1eFtBITQhD1oMmtF06frrwkcd3bxkM1aQHTUe/tuCK4gIzvEboS4yiV9oa6/5+KU9wZ7FybYKLjBfVaSeJu6JAI3oEHlCjp8bCbsz524LP2p/ZmhU9lApxO27Qa9WpEsCh89GfckxpPpOr2exs4++OHnUolxWgMorCOO/g4jVNvtNTP/unkloVC9zHmwxtf7sfBr7mhOzj+fp9MZquRyIp129HmTgFrqrbLhDk2M5qp23I+x8mY4lwqvOYGoDpnIa26hLuiAyWQmAPyn9YBDjm1wONWtwDnQNGSBdgYvx1WJ/NroBTxny//t+ecpro55dggWumu5LxkCiDB/nXazXvau7Dyi/vPp+uHQTJBG6efHVNhXqu66txxO6QDnq0HAb2qO0WWBKDFKGx/zcAWZG2ZMto1iLEBoeoks2E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790013115

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

%MAKEDEPENDS%
ghc
uusi

