%FILENAME%
tamarin-prover-debug-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-96

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6141

%ISIZE%
3064

%SHA256SUM%
66e1b469928a554cb42c97af02823cace1074f79a91f5b19f1823300568a740d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmppUEQACgkQeGxj8zDXy5JrHg//baG2y+8wbxjIkp229DPvrq9j8uzIt56hcLvO7f6mrqVPRW4yljN8lHqfPRmbfmlPTOUyCNidn3NqbxTxtiB6Kun2moD2OTey5RxUrT+dIMH8E9YdI75itXlEdx9ktE+9zU2sQrdm3xbPmGmjI/3Gt8Jo9AoyhicmCWIPT+oEsrpUOvcVqygt4pj6Vseu+CkqYnoPLG2eY8ORa+rBrPnh/peiyqA5G5ywdRj4htCr3XiH/BWI2kRb1iAuvh2AQDPcih9Wc3CgSLZ9fkFTUgpuWjEERSreY+U7Z3k8nh6H65nea3XC2gN9t/KF6AvqtKqNpYOYsMEEWVra4ChrAWzOSpqQYwhFKRx201V6gprRgJhoSt7q+zx6N3aWtFwLfxpKioSDm2unWJBCGGdqeXG8FOnoxna0fExUW3VUeoQxZSvOoI6wJBVu6jtdY1dsxjLVTA703JzrLkuo8r6wH1GRdg79B/S/wNnYxBX0ZUbV1PfAOJ0q8yoIe/xldeJ3E5WAkfqyYhc9cxMSYYTyPxkZskfGhLO1EH3+2iqsR7lXYRLOC1TDQj2gfSXWFuQNHq8gcD9vR0endxQiHe/Savso0AaYOGjMfDEHTj0F6gcB0C6XtiE86YG1USmtowd5n8TJ+l3XIlERD/7RxdGd8IgeqgJb6Y1U+eNH3NuKn2x2KcA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1785286692

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

%MAKEDEPENDS%
ghc

