%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM8lfRAAzfL1ME+XKBpeEgUEIrl1wOjx4VRcRHqFUkW84+bIk1wUgBdw+MUnG9w3JuvcjwUrU4KUXpt6ACssbQ9JOTnan91bzLbyXZNKfIgt9KPd7vfqHfX24b9tEqPWlFLUTpHFUzjcHJG6/hkliSqFqSrkpo3rQOPM9hNVWZX9nn0u1pWPiZHU4NfTjxtb7RtWC9sdo9HDzEPW45C2P+4GTkvb7hFM0Fyme5P0Nt+iMRXfJkQsrqw6+lQW9PGXh6EgQznliAxMNc9S0+yOMhDx5Gt0nkgwEakr9K4BkQcT5u3OpphUZjdHt9/U6o5UD8DzhZbAoQZzVj+dsuvhsUlrDs3FepnlipE/gIDLU9eFMWXS15aS5r+zbC2n9gHYHOSrKaGzOBaiaY/hbsGaBcqTVBfHGKPdoRioa6nc3EblwsmjppyBw7dOPeqkLS3uVq+3+M2x7ZjhokgDryR9UoC2CrDy8eCpynLqd1LjUR2EFMhyfkgeHI82neMXwlmdPQLdifK5fE4p6o+d5bVs1zFe1i/624BN7yLqSifStQbRyVfInS2tTUViecrTQe5b8ums3rER2l0a3Ydnf5OT+lyRsPwG7cLYtVc/Ek6w5xJt97TdbXErm2ltY5TcPXEUjmLtCRvQSQdaXRjUNwlUvEyXldW3q0V+qHeGQS7T1Pcy6Fyu3N8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341319

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

%MAKEDEPENDS%
ghc

