%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-94-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-94

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

%CSIZE%
282254

%ISIZE%
1422244

%SHA256SUM%
b7a2e72c1a09f201a116b238bc4f9cef1986aa03ca717150fec6b0062593a02e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZT4sACgkQeGxj8zDXy5LKhxAAqM5+vTK2HrvLcMYKO9uyoERuWrQ63gDY8q/kT5FPWD+GyfYljTUJe9T4ZGAEhl+96N7Kh+5SW5lNxKdXg9MiMy83Wwok3Hns2oGevDq+IqHGNNgOIR/zz0pkBlJUnGdIA2I2kLksztSG4/MlSZgC4tqpp+gSqOA+FJOBCx/j3sYZqpStTde+rP9P792O6MVMScNAk9+skV/ztV3iAUkYjNSAIQnpFfmtd8N9Vpu1m+r7+/LKERAkJ8YmVaWIGmaDFvpN4qoksS8ILhj60moKjankRH4UDkCH3oETnqJN3PSIuJWmldMyBC4P4Sz+tcBdz3MziLJ5/NHHupi6T0Q2OhbF7+g70ArAGE/Q0QXIL1KUYRy4RRqKzk+VHpBurK2GgyIzw5BjlkGwJthX7iK1tzd5KNt3iqcASNbeF/Wcl8KoSTLvB0GyzJwvpM+5ky+AiES2nQvFRcaYPJfgg5/21NirpzvdaQef2m4ZkhFQgvuteqBtqJpffqzRgkk0uh+L8u9zWo9uA00Go/O9LqA1P7qtZu8xIi0972U6egtQF9jPmeGUPZIDAP1gtIING4m4aVizkA5tSzkcVz1i7uGlvd/QjtrS2dfwbJ0FkEL03VwX1h2RJ1YeYqHFQp2nzhfku60DzNaijlyCsjLOuo3c2PHxE2t/87GJrwrfiMgELU0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626543

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

%MAKEDEPENDS%
ghc
uusi

