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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-96

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

%CSIZE%
282025

%ISIZE%
1424996

%SHA256SUM%
62c933b5b358dff9d6e021a19343e7ca1e0f1a6a6444b3145a6ed46a329ec954

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbRDgACgkQeGxj8zDXy5INZQ/9F0x3LxYDv2YpCQB0DQq4H53IPSwzUty2rdV8hNSLZ1srhY5LV/noUQJp+LvJ3+OQDlkvokRpxnX1Y+cCOhV9buONQlpPCcKvD5EA9pi/MZhPTJQf1lS1dP2qUSrNEhl4TZoedWA5luOBy5t2HtsPwMaQOaSPs4cBjrbvxquP/vaArhgiOzYcsQe+NAGmEYxx4dmQpf6QcR3uPrD2uWpzILyBaynPlb5Wylu1f1b7p/DS1j0WA+rlGZ4SGQthLg1cPI/BZP7Fn14kXVzBMiFuDlVVYbOcw6bka3jnrpO+rgqb7cuUpdGmsnJwXEdbqibJv40+6vo4R38GtFH+OYQGBdnKQB2Nmy/MyM0ORlvGzvcm05w0ReIb53cKiQYHweFPrm4DNH72njPLEx9kpb8Tp+ANxZrNLZZPJJGzlgvqChJqZudawf0iZuUsVVLihBOjk8VSTTD9upIyOY4RvIDB3HzIrEyhhRCj3YjmXdF/GtibhGZ8GltHaxICLFAGb082C7Xnw8hav4zmhaiv2hLidElK2CEoGraP0dQb5ErPm2X+MpTJQQB1adz9l0wJd0pBuPNHAT5Volk6GjIWUZCiL0zmykalTvVo0426nKWLaIUG07BykcZ2g4LLVhDF/AlbAMoWt8WC3TyD/kZbExwfBQl3mCiBui/6Zj1K0aGv2m8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754717

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

%MAKEDEPENDS%
ghc
uusi

