%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-87-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-87

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

%CSIZE%
266686

%ISIZE%
1212781

%SHA256SUM%
99737ec2ecffb82b137b87054b3c453189b382042afae0b2d0e06939fb946227

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrmIACgkQeGxj8zDXy5IAVQ/+IpEnHI5iOJZEpP5UQSZ2AUK7Tk/oqMLoCjBt1kVWsYiKbBL6ueHFBq1suR39riMf8vpFbOoK3Z5+J4gKW6AcpOyBINIf6HzfzlFuoI21HbxJaqk+hd9VWnX2x+/VtHjA7LaXvYdYiqrckDfNs31DwMbh4ZB2jighpVHLODboJnfstSJLOQuYBxI0PULZ5WUvOWuCWBbiQysMZQs0zjjMKHzwcNY3UqeVhlJEOHlwAGjcs5CKeQDbW9b1pc3xWyxlgtcunMzc1JAieUjAdi9P6GLIYa+ZGJgaHvqCfJKt579QLHACP2fEBpsv1Hmo7XuzteCKUVoYf/56r9ftDERkb5T0t7xZw25/vUwMjIVKLuWuBx82I5zSW0lytJsMuDXw5Iw69SEM3sUbNZn5RTbaxlXtsNgHsnQntvt5aVUb3vGJt59QrGGvVgjH5tBL1uOxrqnMRqoTQrtrKLxMczVFPgSRhPlhrtGjUBLolbEu1ktDmyddXJL+0Vcn5UQAVuuLKRxqnGy8RaKgAb8c+Yon5CGioS+uuBeutv4sig9XtK9kz9TW+jzhHF6pn+gZLbXxxr5lC/LIClq8rBLgU+edc7qcjXGnTrLugodPmmp8SI+heZsuikbAjuuRUKcLGrZbZhsBwRoa8tW1ndEuI4lPiG6iy9x3+stjSIx7KCf6SkI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791667786

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

%MAKEDEPENDS%
ghc
uusi

