%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-38

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

%CSIZE%
201629

%ISIZE%
1156242

%SHA256SUM%
39b552623513aa940f4d9d2035d8ffc888c6d403c3b4a5bcef0e38050917bbd2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodlwAACgkQeGxj8zDXy5KdhA/9Fbo5pGB+pvTE4/XRTgYWwXtMtsgF/2yZLsSDeI2Kh0GK+9KbZpVk3R/YxWMXvycxeZtkbR87pPTJxw2pv5yYRVP6P//RilugxXQhP4gnmAIgxtgYHobKkJcop9VaZn8PbnNQaxeRJnHem0JY+4gq/E2v8uGNOfpctEW78xRgH+JuFKW7z5KZ0cR2lHQflfDhtyM0ma7+N/nxJ1nknpduphlzvOUC9jM31loup133D4460OTLj3Atrb+oJcQVCMvWmGOxJhC4YJiGLpe3GX92wT9EwZCrP2ybtvb/7q0loSpJgEYPy2MsdLXt5DKc/7I3zmS5Y+eSjvOwZndTx63+UCQQD4is1DBFHalWJdtw1bLRJqH0OGPDL2F1s02piZMlKgIC8pRo7syVKO+/GWGPrkEY5u/DpGCwf9e4Q8RWWn8eGeqrgKk/SEVNDAwjYgdbY0Yv5QzcO+JWlz8MA2BQrs18QQoAPZ5E2Rmuxf0q/JLnVoLPbog+FeWiHta64KPVCTqCFeOpPxZOQYDDdAgeZPhRflVVE15Ds2g/R0JQmpR78h9iauzrnf/DqIKtJzLUoWhYdmNcFgZGzTWnKlChXjxES7NAaq/tcHxds763O5+s/sENC50AJX/AOfW/44eZHKJpmvzmjfdoyN6FvqvNa4yVQOvxPzMjg7zWDYJfaY0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324073

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

%MAKEDEPENDS%
ghc

