%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-141-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-141

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

%CSIZE%
3334805

%ISIZE%
18147544

%SHA256SUM%
c27d4864770207aa1f518100ff4a2dabf789336e44f6feda52bf3f1246bc99ce

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstkQACgkQeGxj8zDXy5J9uA/9GSlerKYIFx91tP1mTTKmF9jj540qCWquMm1jTMNhhWL/Ai9zLqQ2gKvnPJQUETReK7eSWn6EpWc5yo4uXGsiI324nYPg3CtvGSeC5sGqatI/t7y1o/H0vUJJb6/F+iOzLU/Ym50/R36lnnzaT75hjXH6Mswg82Up0I/CgBCtJS12Z7F+NeBQDx0hFOUMIpdyCoep4Bo68zzZvnMyBFyOFFIBPZE1helHUrN1oOr/b+g0CDNIyORkZkx4LI6hJstHNVFtDZOUb/4IfDhDg9ri/O7soQIYv5iwdO8v1BYr/7cqXdnmPHak6jGyfOK8pY7HIIgs5tRbzyc9z4ATSdiwFXF3atRODjd13duZqq5Wh9klP0ZoZIkuoUreAasNx2KdU82Jafb+Tc64ExdHm1coMGxfOWnASzHFAboM70WB7zh+U3EMp/8cBIuO7780HnAv48WwgqdHKin5Chmv+uJQOsR+JKggkDJODOHGXyQAvsFV0ubLBmOMKokjeZZQcv11nMAHXkmV5fZ6DzT8G4B13+GM5zQ9TAXVOhb0R09EfY+8VHfGe8rUEAUV54oPF0wG6XCLy/xXuSnSh7BQ00g+idP00H4Z/3nyYczP9myTOYgGWC9gf8/ELVY2bnrU/8Ggo6xhSpogLmvdmZiuOUifzhJiTrbys8IJEIgrjiw1ji8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537814

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

%MAKEDEPENDS%
ghc
uusi

