%FILENAME%
haskell-tamarin-prover-sapic-debug-1.6.1-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-143

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

%CSIZE%
4068

%ISIZE%
2848

%MD5SUM%
deb49b75a460d4676f3011bfd227d875

%SHA256SUM%
8c6c7b30da0e6dc886f061dc095a96520c8499f20027032c76c25c9b12a397b8

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM9ugA//egLnGhDkiFHah6AVDXOEQQesX11ve78Kj0XP+rEM+4wgsm5MEgBHMJux7uB6uJyXoa4Slw3NCt4vNggICsNZc60g49xIL4Xmgc6jYgXKHcjZkPnsZd98DBePbQOcvNoZPRqJG5X/INO0VK7CEJ8MbPxhK454yZ7B11CwUTfAmV/XwQC9l+HUq3qcNY93LzmcA53n6Zxw9iNG44g7EsNgvY/TiJOeU7aiFVd+KG75ytp5Cwuga5c1+qDcS++HfYO/jlCv+VymR8sU7L8QUCxqXTzimQBU2PScyMB2pZ854+uowHBwWxfjpHiXuMAaA+xhdZJk6nDcDrNZuPWckWwvv7MF5jqRCwUXZZBYkd20P6HNXXBpufIl/kJp2SkkgmbzHwujWdnq1sb9JQiEt90wAl6X3q/fiKXZU5ztQP1GB6CSgNrboJwEoOMjaSii6LJw2JjRNZdnSYztDd+QB9PP5cShSxk3MdJeIobYCY3T6+OBzCz3vYzx1ni2PBn8uhpbC+tmHouqMPSQXri45Ev//lG/aaw0rnNbadcEsbpsVYfEs5GS7mle4+c7kFtOD4bF1l1pPN02nEA0m+qRj8AnDinxxzq3iGY3P5E3kl7LkUTGZnL3fVP1xZPeKRJnfWXlKFT3s+ewoefubIcYqMAg+rUDr5NOP4dhw2ajXxcO5N0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686581237

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

%MAKEDEPENDS%
ghc

