%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-91-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-91

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

%CSIZE%
639307

%ISIZE%
3714921

%SHA256SUM%
58a00bf6baf748aadde0feddf5ac3ebb237d01eab6a6323424b42057e05a8c87

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTZ0gACgkQeGxj8zDXy5KAnw/6A2nV8iVUQoDoD7twR8EglAPPDpKXkc2L2cq7PigM8wjaxgV5nqkSnwo5zO7ooL+GCql3HsPUFvLbvfvnsy2OJ9ejD+ZFFI/TcjKi27ytEEI4dAw6I4F1tco9hIiHNorWgZtMZBTHjNe4UYeU2ESil1ou0ul55WD+vOQjacCnElH2fTTRiSocnPaCWWT9bKw2wBVO5OMw4SLNhK9oUWHO9OSXjZlZzRHm21Rqv+xTGtzSePffxKNZU7UvsMyHK+OP9Eo1hV7h5VbPWJaLXbi7Icrm1RdqfqStYnmMkTopyLE8/4UfBXW8oStoc5SwieAtHGosiu43Z89blG+Ks238GhkaDC+1xZ8U1G5DRPgn6cdds6Sx7S6I5LTN93GreYiSY1BqEZ6c5PGicNAgEkfQqPIQ9qtGftFpY4jlYlkhACZ8fjMVORy77rs005hXJo71tAYlswZ78pXVITjhSS7mOUJEBUqhyZ9ra1YgCNzswpNUaXHygLskjPLR5XnO96nHmrpkqZ62h0TskjnDVhp2nJ7iD5AmINVt19WocAK6ZlQd4P4Ge8hmOzCdrTyA6AgBfbunNk66t2dkSXSQFPAqIaMwDRB06Njko8+SbMAKFdcqaBE9V62lzgq5D/bI/DczlOm6OYreKKwCtpdGAAt1ev0RaaPNmvOB69ta9OgZB0U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792239404

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

%MAKEDEPENDS%
ghc

