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

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-70

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

%CSIZE%
201232

%ISIZE%
1148914

%SHA256SUM%
fb2157632311f43d6a3f5754ba963b67e05784dc42bc3c07c8f1af5db3e2fc6c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8QsACgkQeGxj8zDXy5KU0g/+MHi10oE9wV09KVcBgkbUivZJV6v8tnF66QiLDDTzW4cQvx9oU3KhXFigplrE0TgnXCVF03N5LChBJT9QQ4bu9Rfs5xqtRblNeIT2asATVCQ4asyB6OJIhxa4KpeJZoifRR6xGyxSRZbS8IdlCbIKUSt2i6uVha546zsXb4JPBlVL2NZsmB8sKkv/6h6VjG1ChccFtCalKQbT59T4pA2ngfgwlpHkmFwhtHHtdRbQOM4hZDOogU/bWnqg9Sy3C+zkDpTWmIJmb7hbo6tdLJzumNZ8ix/3+CiCWjJtszzMPRgtpKttvFCTPumx0/VPd1ceioZKZbq8yOpsbGmN8Hab0/CL4MkcM0Oy4LYRa3x+NEupCMlF25r4Nppi4JBwqVubY3oPfjFgALl4lL+FWDx9hBMuXa0rqNdk8pyIMdNZT+bUjuWWVqsimpvX3Uk/u2rkYvDNGMjKLEIOyoBYJGVL/ku1Vn1A95LNDzq0LJr5CJBNCLJnYpftUvqYp9U6rvvS3vAGcIBbBT9cL3VUPt96sniAWNi+04s4IRqBUX69icAEZVtKyD6NaM6FG/SG+dkv8YxX862Af0ZkCwiDFvsBMSrbEw2G3PGxbFCyaVPJsVvx6gvx4MK+o0qyM5g/PoqPQDLaDuJiZVyN/PGrQt9uIX5gGMRCNMr3ze51YWkjB0U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522167

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

%MAKEDEPENDS%
ghc

