%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-76

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

%CSIZE%
3830363

%ISIZE%
21039324

%SHA256SUM%
3884b2fa25d7ba3ca3cce1a61187749b2ae6744fe2d79521adc875a4827fdb10

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HH4ACgkQeGxj8zDXy5Id4xAAjouiGlhULf/n2NWvgbugJLln9wDesVydVdj2dUGT6QwpwI6MW4BKVlFZN/GAZslDcbLoYs2sFQlooLEX8h+Iol/p14934kd6036j6XyY4WwNFKCMPzJ+8htFtX1ooOHlWtgvyC0X5StOE6HARssy05PCmzXzmBVnaeX0io/XBIbfyxWgr1dY2rJ4hdybL9fjAlXiFkj+1Zw76upC2HgAWB+bntph3RLkuFYZy7LOEjruoMeAnI8lmmRXVi1XVKDHk4G8QELklgF7isxIYEV5HWUq0u0JIfWScLNkcRVTIxNjjdVZNGmESRp7gBtiG908oDqF/kCdmYO9KV3qhqc6lEIRrPhMdTgB3yo1bOM/WPNrMvsXmbDPQg8FanRfDShdHXJ3o0Yk8z7xGYqQxfWxrSzAJs/jlCMIIPVukA/SHBi+lJk4xspR0fxkH9Cez3JUEZCQmZ1udXJ7+eF7ZlrMnF9yeJRTJzSLu0jcd8qOLXyIrrbveZrpNY93ax7YdEn9hsMuWHMsNPlXXCqRMybejZv5h7HslYN9Ee9dtRCYEs+gChd1M0VHXlhdBwrT7duJYwd8hMidt7Js2+9sU2ltYD98O8TwMzqJEVsAr5MiBCGgWU67SmCEACiQl2QC0JsDiHkj4o1Ooe9tf1tcPLjVCPVmLqPOVSeN8jqtrriFXGU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778399

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

%MAKEDEPENDS%
ghc
uusi

