%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-3-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-3

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

%CSIZE%
204586

%ISIZE%
950280

%SHA256SUM%
a4c62f7e0ddf8bd52608f9afbf3e523f808636188fc31191dfae8491b1dd0865

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwYACgkQrx0hme8KPM8xFRAArbAq6sqUM9VJvuewwFwdzyApURoG453zP69EqdNBMB7pzDTNuclbiQe8/KIjUpJZkkLOtYZ8OJvhrt8GErd6qL7+rb0FqNhRUQNNEgvPK8BAC+IJxtuwVEdPyQ7THZQRy6RuZSR4ca4ij8M+pRByAF07sSXm/aB6tyeT8SgYXFt0OWdktcoKLjN05ns3Q5QHULIgEPBBl4M8sTBBChTmAm9H8rMDGcJhTECWpyhDulbOG/tbiggkIrOjfj5bLAVc8Daedcd3OHTOWd0Til9QNI2fx3zM+HmKudvIJPt/sS5gX0Xp/cliOj6T6gMXVYDUKoIHBIXQzjS3wFGwGEFTjW8wZB9J2ye/Mn4K9t7Qq5o006/X76/6koWpyn8pJQhxSvcVvm7FDzJ/FK4JCeEsDwxCpxW1hJArWQx4RQINUB+vlK/zCGeSkmi8wYvsObMcN8NIvi1L9tcC5CBXEY6DEGZFchjSypRtTL40NuDiPAKqBQ/knHrjjXmK7S6L8PV2jdbgI5X68RMGCIoJeVaRCiGh1g1uq08Sjw7HSE9+Otkk8jl3C0+zbwXkIwhltyjvgaVwTYD27+2kzbJLJALEt4cAUFeBbTGDvqdyeUOGMDEOCZ6va0SJxhR3m2+mz3W8BjDfD5/C/AMAJcIu68/4EvGJZaLk7x+A812VpKQhwOg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735934075

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

%MAKEDEPENDS%
ghc
uusi

