%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-62-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-62

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

%CSIZE%
201426

%ISIZE%
1152570

%SHA256SUM%
5a4e94b4eb6c9f8dd4e959885676e18ecc221bf710ce76eb854dc9f819e87483

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHFAACgkQeGxj8zDXy5KcwA/9E5iScvP8CCWmHwmm5dMZJ7V6zMxioL7ItTGHXbi+aEQb+/F9I7+i0xevJtRSATbs620RssEzjYVbJfGQjdRMeFzc9/v0j9SKNS4q45qFqU+Z3HE3yFTpkpxADA8NUkj3MzbBF2fWP6RDMQCtXxHVQcVmg1tPY0Qv38/gEdMVsNveG4oxxHkDwba1LYnbwm4Ci7nkb/8E5tWzHjnshE9Gx6qFub+K9S49YZC0mcwWVdPxg8UjeZoGcqD78Ig6tbODR+B7dfQqxsmXdJLBtqRLqV0Ia2LUrJEaA740jCr03orEOTKXIcVy1nJaLPF0tPdOaUgVhRcnOBF5j8xP6TdpurcGe2VQZFIjrJKqLZwfmHmmVoqLk04I4pZHGJmUMWS8shQ0JNBRLMeoR4XBDK8Dxj+ZD5OLfdMXs/A3sLNhXAByfvvfaQbawRnefDqxX0Bx1ndY7hoiLuZ3h7QA4vhKVX6ZZup5AhAjLiXVbhuZA6aeA2iX7gb/iBeByI2oSJiG4dBKoxj8X5iYtdjvjJxtto9Zm2rEuf5IS7hmZlqhA9PBrefPzBb0A4DjHSUmiaaiLG/CpyW81Dnkk9cbV1yig0VX4MGzLpL//lcoex+3k8TKaFXXadyuDyrYxclPtsUf1TqLRMqNzLvd8rybsrjFtlqXyJ0YpQ63Gr32KoU1lp0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045181

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

%MAKEDEPENDS%
ghc

