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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-64

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

%CSIZE%
201404

%ISIZE%
1148906

%SHA256SUM%
7d95236349dd767ba66a07b5ca7b69ed340bc547687643268bbbc43ee420f99d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSiFkACgkQeGxj8zDXy5LU4w//cu0dKX8xDh0anpZUEhVtryCONvEzJjA4m7LQBn/t17KXCqKz+q9W1btkjlbOlrsHDOwgLjjsDh6RTdN+RXWgrwH5saAt/LF0sBvb886MPOkW2NeNYiOVPBV8KQYwCA7RuUrm1shHGypqFtCd+McFhplULf0iK/1TUE1BJxRTIOamZRc5iw2zZ2AiihJEpMbjxerF4bNNZAVd3KiM5GbMgQKEslikHq4t91scAMq+BKa9+m/nEt/gNDfgFgXHKMVVyZUMzumnsA9h3OZnD6IdHMdMd+zQfHnrhOd4wBDgalc/q8ajZO9Vy3/w/zKckccKmi+IlB26Aq/PNEErnXvuOdzw3NnrC11pqiJr4aSV5uXtg/RpPTxzHVl/8+L2IufvPDj+fYrO/x2qSIL89C7+qVxUV0SQ8wj/KEF/sXvwP2BdNI1n2bKR+CgNicFoZQAp4DhxMpAGdaLBvExkJHyivm465f/aJYEXYx+82U3XbLkah0gXdYvQ8EPCH8NXLW1VXTtfcDHhg7sj0sM/i/QSMRDoSXO1WMvc/9dQzWY+dvsHuk78OVV0RJGpFqXeaVTReLCxPTnsXrCYxbf1Pe7opg8+ppAZhOaaymdrxBhqFebdli92HDnlyq2El5ATtc+b6xGO0EdRwmmpIw+sFJbNTqg2ybWidPLCgmJwPPpAZdI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787988044

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

%MAKEDEPENDS%
ghc

