%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-60-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-60

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

%CSIZE%
275177

%ISIZE%
1343206

%SHA256SUM%
bc8b2290c01ecc7b3f27bbfbe7d3ed48c68f10903a86e476ca827a81fa0c196c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHtikACgkQeGxj8zDXy5KtqhAAugWl8pSyWgq5euR2obXxso2JhnVi5D4HNcHZF+eVYlCbXtAxoZksqHbxqYqZ6CE1Sd1+IVLosF1YWi0AT2sQ1QEIk1lBXT90KsFWoPQNH0HQghdljwEjJBa1iM1LP122okYBTndJl8FYYHyCYBhfPIIXuTNq/f9/wQmdExN48Vd/dAah4B5ykbhAUtPvbkFP0G9HntL9sVirG5392PuneyKe3tc4PC5nwY5sfwlM7OqsHqMJtSkKRQpuXjGLaZax7JHDkFpOQOryL35WlW753Q3bLuKY3gDk9u4dvz6aYXkeYpy+ZssF0GQc2LdUj96/s6Z0GUyNeCeTiesl9EDSrxtR/sJ8bGKQbBPELXtkj8p1EFXYXTkh/3rTgXensHfmu7sZJsdhbvuE5e+CcByxqhUXYpVQ4LUkgwzasCiUB5CPTkUb8zm1+w4Qgz2odbiodRFcXJnsst3G/Ia5D8gAg2NYqmze11AewMTd+jUPsX2vF+2tNCnsC/kpa6Dkkf7ZiwGc72qiH/nJG2EyEgboPuF+LflYMmOvGgc1fwVrZG+81q9n+S1PcCzM9/Y8D4wCRxBOjpC/2ogkfIDLlb/nvHIbMut+GnMxB1SRNnd8FkY1ZKVo63J4zsu4akzdHSRtyddnF0olpfnyFAeTJ4SkI2qRPgo6ZA2jdqFYUbZQ/r0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

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

%MAKEDEPENDS%
ghc
uusi

