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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-72

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

%CSIZE%
282173

%ISIZE%
1424804

%SHA256SUM%
eca67edf7f8d5e1deb157f9ef587526b834340820dbd7dfb3664fa1514e614b7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxlsACgkQeGxj8zDXy5J10A//bH7kVkMa3L51b5bU4Mr/CaJ0lBUUYTtgvvVjrJ0hQQBedp5qfhXSuEqFU2kwW1cVLUGpQGCn6DKQGnx2r74OC7u5i0xhmsJ6Xluidaq5tvSsAmbpQRtZmEJyp8Sj2I3vflXy2HcCBUZjLz8HceipWHmlmAdcn9WKIK9yJJjHtGGgP4v8U+9DxzbHCQ9oh2JNFGoDH9T+3BJvwxL0+tueuO3Utd9CZqDTeaEmHDoHCezyJz6iDvBlHjFeXlRGYm9V93fyGRvoyglgDC0Z47wobg4slCwyqnoekzsClfYxPnGXp63De/Rr5PYYx9jp7tGZ6xHx7oVdM4VCTLvSYBWGYxRh/ky60snKAO9Gu66cu9xpOT5edrtHmtl8nEG3fLVhtwob5kj5MmszFDJwZ+MPX49wOy+uK2JI43jYwBESRQzDCsgmmQfOV04Jpjl2MgrSY4z8kM5Gvm5O9Nrg/g2uaN5eU+wBlAKkLOPNQq259MokYhNCCPaK9Ma9evyS0upt7INLICpWr8W77S8dqWrE1S//9rvFZJFpp1YPobufsKszSnxVYzXedls8JNR7GmnZTl/VLvOe1sbTmTRPsybs8tIAHD627EYcTypRp3pvSBLl0LHcm6Z1Rx44xO4nAOeUsg8i/V27Fn8t5DdbXBFlEpw6ol70e77baCWeGLTJ38Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969954

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

%MAKEDEPENDS%
ghc
uusi

