%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-88-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-88

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

%CSIZE%
42139

%ISIZE%
170328

%SHA256SUM%
010183bfe0606f293cb28725464128bd5cf012b33c3847630a40b61d3eff8387

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVGcACgkQeGxj8zDXy5JP3RAAk7elchXjqlptOpWqb8jXEigBos6Ml+aC79iM2ZlhT78ifhHDxSHVenaTpoDrDlSjC1wNuUBmgk2hdbwd3pg61wMB/JCYPz1bQb/LJMzTb3TF61s3DygR7rE7k6kGknYDYWrKeTNsh14HGpJ16fvkyUWwJ30Zu9xniiZ1OSQjlL1S8qjjWn1a4+u4TvwgpsxLP3CdkuWvTcig2rmBbnCvr4ND/jMj6R+N/3BYlhHEASYWi8VLEMu+l9IZhaCeWO8n1G6baZ7KBZEGNUPezYNciJER8bfHLIxVbcHwKa0oKUv9ywDyWoJUQ2jH4UMm7SKXvUhx6FjGfH0TffSLfN6rfSUczAx+Fw0ysunMll65j2JdGZRjfoETTVyeFAtlEAgCj39MggzNhENJf/O5ptfyXLfErlF2mYLMXyuSgKQ18/qQAAyq9eQVenVWcH6Ar0+w+zYJWQU8XfVxpPKj/n/jqthh5GZMdSZVUo3rixOJio4zw+qmELt0cRA+KK9y5vrWU8KQp/5oHtKcH0V+szh4nsB23LdgNwBC/zjtrGdbxfNOHaMsz/zp6yb0Pb3uMy7RjZ5dkJ92PlqqHYxHYVDHP1tURfxU6x356+43zlWciADenQvyKWHkmZ/UEGtv49r5pbprj34KrvGADuBJgyrf1LEpbbKzSaNPr0676p8id9A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791710288

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

%MAKEDEPENDS%
ghc
uusi

