%FILENAME%
haskell-tamarin-prover-sapic-debug-1.8.0-34-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.8.0-34

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

%CSIZE%
4136

%ISIZE%
2848

%MD5SUM%
cfe9d54659bb1cb7994494a6857b804c

%SHA256SUM%
566322a7230bca1f6c210ede37e96f74ba378a3565cbc7aeeb58c31c1795cd53

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9l0ACgkQeGxj8zDXy5JQDA/9Ejr7wHFaVuOxi8GvBCGBcnhzkeI/Y1QAkSqqyaXoT7taPdL5fB19H9cJw5wgYgA9ZVkhF5itJ0Ui2+YNCmFePTzvn79GsL7kEnD9oxTLfn+ikmCk5FiFU1Q3hOc6Pp7hWSP04ZhQUZiFS0PaAJCVNDlV6MTwdFLBW1pc/hSGovIg0tscrF85CZEsbTMDooS1N+bCc8LKR0l6j5DbO7032ud+wBYVlvAed0OXSXsbTyYt3ApqVDAcAIvBgzMOJgvsvcPKpifIZPVLT7UhoOXSAKlVzaJ0Txa9nJpy52qWunJdmw9XCv/0r/lTG2DsO14kCMY9VAjqYvQzkHwDcEdM0iigBJq+obK5ZGzT0GWz0nQ/PIhAT3tmvPuOeugD/uclRJMHKfcKp/63aV1ufczURICBzdfWaQQbAA606uTDcjgoFASCiagGneysuj2uixoGSb5yTUZPQLHmaWZS2kUr3xcz3winOyRpNLyRu3n3tPa+JZM3hIbfvt2gB2b59JPYt6HBkUAy7dsPVXRJNM7hTcKZ4aQwZ7dfxwihQugtVA4g2LOgMwdY16E+PlInk9WhKAhALmsCGrqCkwhKyIAMPhJtiyavMV7WAf+41IOnMOdEhWAAC99cAqKRqbT5BcljWX0ZqmStKakfDTk7vCTNRgvNZE/Z3gKFA/RhbHfPdWQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341319

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

%MAKEDEPENDS%
ghc

