%FILENAME%
haskell-tamarin-prover-utils-debug-1.8.0-21-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.8.0-21

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

%CSIZE%
3457

%ISIZE%
2848

%MD5SUM%
9c38f9d8b9197308080a6a01f489c3fb

%SHA256SUM%
625eaf2e555a2c31c1dcd28f145bcd00ddebf0fd2f6f356a8be82682ab5f550f

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM/NQRAAgKI5nVO+BkCa2EDMAJoKGOCB5O+OeiOYpSMWTNEKxFMEgtzBpVQT1AH3rHscSufiOs9EcKR7FuKiOPCah2W/oqX8K08APuURhc4m/mQVNpcJDluj8YhSvic+pZjAWwef85/CoCuzKn2X8k8LFK8WnuRNOIBAiaCjyMoKgBFJZoqe76Kj8AN1pYPCGEfmYtrNzdSaEExUBFSjKPVf7F/WsAgCrd6ORw4zu3JYr1ymgOH2h/M9JUsweGihRQinmvyKFs4qkcoViVyhyl4n7ojAxC2U6vxgCX/9Lh2paAFQcdWhC99xw7LDuVi9vYzZSbnhsTVgnn0YuA99FH+jkez3djSHeOoi30hf1AYaIuyQI3hg9P4kmgOKxVz/xS98eezxbC3vySbnwJsRRW4l57H+jGxjCuUrB8T7N4EW1vajNk/yzCPh6KhnIHB/d9MHlSEEeqNZiSeODKjyNRczA3mUilGf27ylSqc5VlZ+nCw1xaurlPhqWvxCeqCNwkK1I0zStV6qLf+WgVZcPmGpqD9xaZzI0sHZ7cL/q1xFuTAK+3z5+9vsM7Z+LDkQM+mz1Q5FCUTpkl9n6POn4uMVG8OzP8XMxLk+/w87BS8y+HuTEBOTjowNEksUQcXiOOYAiTckOuooKTMF2+MSgItptwkakDfreK57acVCoBWQ8Ur592g=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707338872

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

%MAKEDEPENDS%
ghc

