%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-64-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-64

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

%CSIZE%
282106

%ISIZE%
1422356

%SHA256SUM%
c82a6e9164b3887049c2765342a549a58ef055841029bcc12a330169b4214604

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7dsQACgkQeGxj8zDXy5KxTA//Z/Lr1HqVANfRjizb2eiXmGCCevKCXYzFtd1vTDp1wlyd7+nb7CLk9aGWyNJ6ieLOsNUaVsv/mrlrtHOinh9Tj4p3JaYFB3sHnUEpPJcN7S3r2veo650He1FZBIAEEkzQbO8WQlpy1LpfyzPiNRpg+98RK1Z6Kl/c2/wI2j0xkCHr8cqN/rwWAEZrXHBt2YopZ7JRy0RxGbfuxQhdW27ngAOupFPNxl+STvkgs/T8D3nhGj074vVcopdSSVKloiCA4wSrCoGg0UMZ2oCT72AaNEKN7eRUTXb8LEKlUR1uX2nmOBO64MDOQPWndg6OPxIPuKplF9KviBcFhr2cJjmlFjTdbsFC6LmVIwGxIIdWonYrqwkqBwWxSPItCyv21OcBFF23JZf6Zn22q36+qi50IVXhcUZORXhHkYiKyoyTQQnqvg6xiILTj3kjZlm0grsrJ4+BUqasM1BiGwMH6BI+iYcaP3ljEnzJ6YoAmyTAUAm+BQh3+IEVZPMZQO5LHhfiEeYmSb9DqJAf6tsL4IV9YwAiX1YeQIQDwAPBNkY2zeO60lwb1spWpUmQo7pQXH8zib2sqnNH/HkEO2nDHeKteqs3StOBNXpRNESp4gHud9IpponT2Mm/OcLiF4y63ddZH76uPhE0xuYErQjCNnJJ6BcB9OGDUo0fiO64dHXE09M=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786476204

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

%MAKEDEPENDS%
ghc
uusi

