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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-70

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

%CSIZE%
638693

%ISIZE%
3713737

%SHA256SUM%
67540d19eac2d7246ca41ee7af1ddf2fdbbd629162ce526c9cc570125aecb233

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdcn8ACgkQeGxj8zDXy5KF2A//bl3eiNVAIu05xGd0MuKWxwmJyTtwOs8Qor9K0UGneT24Ydxv7Q8X+KNFiywnSd2ri2iSWf02qbMhFbFbaVwgl46XujMVREV2SYoptHb1XCyDr8o2uA3nLJSZSRYotU202NZP6diqW9U97liH7DVigZ/xHT3Munu4dYzOMM/jAjSACMkj5U4iSH9LV6RX/q4vWS4r8bAGlNY1AghXDI6qPzoXxaU4e0KEt7PnWluD+djL9XwNoLYtnlvaODvvz0B1R08//vmX5e+1h/GyjfGwM20HvMRRsf4Y5DjeEm/dpI4ultztkHbP0NJJWe9viePZpIQDzxizx/u4HPTilelBdZLxeY9G8v0Qxyd/fWimdz3nCEXHvFO5E8hNFSr1mfIYU+oYzgVqPprGZKPVPWkqksKPXrg1Q0zOKU/hPiihk/IwTMyPnhjcGC3Mq+zaeXjXnLCcsyf3vqOfqHVm1KJQXXcSPp8CpSnlC17NSJlLt8RPYUc0jzJUxtsG6IOsXEAyGHyj+Pa7lOOMQnWDif0jGAcV43V1P2ISvX+lqNmIlJR5WCqS8GPA3RF8QZvAp8s/e9sbwjdHD2T/+Fy6k9vXhNw4ujgmagTjrFIsKV3C6Vvt9A3gfUiQpvbtrZTnYkOg5SaGOFSQ42f7UUexOZZN61hGdPy4pNWUkTflH2yNkiw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703325

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

%MAKEDEPENDS%
ghc

