%FILENAME%
tamarin-prover-debug-1.8.0-64-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.8.0-64

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5738

%ISIZE%
3064

%MD5SUM%
991354c3b11ed148ca758a6b7a643c3d

%SHA256SUM%
dc7ca5191ec0adfeb7ec9896cb96fb781e6b26db0cf22f9178ed7b5180f02e4d

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEc8ACgkQrx0hme8KPM+lrw//RdAoKOavCdK11ZdtUvjJNjPnq4UjLbXd5ParuL/5HfjxtoWMQu7YWyH0jl4QPkHgJc4CPANEws3IWpx0ooYZcfn9ENYWsoT/6haXyonK/NvRaou33Voe7WB9P1AO2DMnwYWVK10jVRuYZurNrGUzvgqL3cq6qd17DCQokuAepUBkfWVuO67uaD0u2kvLEDZQLmsHvQVygqm+ydHBlyAW8l3VMTbft4iZAWX0IFnC/0EbktaEYOvJnuLaWiq6HZcKjpLresVON30uM/RvXWAdSr19ylNRwLzgKGfgi6JMXIf+Btcqeew1LR/YQQU1xNgOLGcDtJi82HaX8vGtUDCDwAerLAmRwHGJhbwx2HIuSJK89wp6/ZbVGQqsNuDw/n7LZVnIYlmJbcGlLHaZjqppyfFV2Uqbk4q8grg2/rf4AGitFNvrHIAEFsIyiLxHd40iX+rX0TlGF3GSNhqfyh0hW0ik6tAC+vNmdz7XEReCNfusladGiYKEYbY5+EP9CQM9ERy4250mZVys66EqRpsXdgBN5iqh/U+egylBolmDhINfOFUekmDuWPuqCumSnW4oWbuVohWACT9/cmqrTKQBCQ9spks2zas5vJBj0jWuv7WVxsRmfsoJ6VxGAqSHZ7CquEgbdAzpqFZiL8RXpuJVz/jaGuLQOTlSYUv9VFdwAnc=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707524620

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

%MAKEDEPENDS%
ghc

