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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-69

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

%CSIZE%
639098

%ISIZE%
3725025

%SHA256SUM%
48124156c4d0088817c8fb9de089ee65fd8fa7eb2e69336509e5bfe36426013b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVUcgACgkQeGxj8zDXy5IAwQ/9Gq6k5VWGD9MldzujtOraoDBwP2fGOMEUWH5f/K0SUavFkZPPWyPXoBQKQ6/p7e+O5aJjT+xosbvEDyV/5rJXN2d29z8XdQ30hhTT5RcpQnQeExn4CCOLiVptis/iGaHtWmSegB40FtYb5NA3xdXh82cMz77E7j8c2Ouryme6YFV7S40eNz4lQqMDJt95KP+6YXJLykFkOdBwMr4VAkINfYtqMdMSljYCP0SyccLc0MzoJuo6aij+HTn8rM7FPrWeYqaDYTFmdBJHEBop6GtIwHsCJk/On9etrzXPTyXWuV9Mswk3GCVnW2s5x9AdYrdYYdfMGhp91om3IK4GHLBpnMOG429WhdcfE2hCaoAaF04LVsRX5oZkZLNvRL895ef23O6Xy/cPDLzI97BB/Vi1JLQxCG3xGBINZxn5CSHoCB2VqDYuUXPohwKvXlwWKFeljLh18bzrc4oYGs59geAlWX96NWNQbm1L3kLnIE1p48/9I/CgAQeFtLCDeuhvU9FI+Pc1KBJjGx+0JHM9damwj628r9iy3dTlTrQqqpPbyg+sem2QXvwjCoRLBF0PFLEmEG+PZW3hJB8+xa/RhjQTQ4FGoCur/5ey7cU8Ov/pOe6R+f4WwXigix5Pif2V6Bs9+lCVJpt0vgszpyQMYtvsgS6IYeSOl7y0uMdTKrRLAv0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788170665

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

%MAKEDEPENDS%
ghc

