%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-70-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-70

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

%CSIZE%
3831303

%ISIZE%
21117956

%SHA256SUM%
1c7befe31a61275119683982bfe940e939d83207a97e055877fd65e235f8f50d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdc0UACgkQeGxj8zDXy5J4Fw/9FCUqf/5bpualIYdGnLn1noIcCif+suTR0Pgaxtz+HXL31IcFRqqw4M9I63fewAKP9cQ7TDKfxACV17+0fa30z4rm7TvpwBdcHa3cM+XPPG/sbZ7MjOlRT0gKLN8PuM4UsArJ7I7gCY9E5ZDLC2S28DQ1Fj5zl+sLFCZ4YD7jH9U8smyfrWnInZEKvyS/U9fVL0cXmDxhrxMvfJLiWHOI1MCVaGh0me9vieIbcV2asO+Cozlt7HM6ZRNaq0QHtRsW3Pcm6SYGDrO0DE8pJ+VURUqQ0wJ7hQGX3KvOa5Mim9SUByhJclSdKRs8bzaDXydp9T6abrJ94Fu06l5JqiyO+fcPO/V6msPlfcQuQWLzvMQMCC86n8dpOVo+4k6b48VEZuWPwlnD5Gd5Mqnivv2t6R+ifAhfSw/cq0Cyg6ojV+sqt+tIzhMZYyKBQm+qjotGdv8Y96j+5cETt4Wi7f1y35rISHQAktmu4QnL61Qnr9AToLh4jeK2u/iE0+njIAx6WPIYPoCCBgKOJLyS7sLE5iBC3PaSV6WonlaBYQULr+4j0E+MUm8R0ipwvTELdhdEMEsIsJHA+gLB3kn0o2hM2OmQ7LQvF+sUPgWze1OGJEZIw7SWfktxRM0vjSmo5jjyidGr6YyRobOfTXwZ57s6hF3YPMvz0BwooRXP09gR1ak=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703461

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

%MAKEDEPENDS%
ghc
uusi

