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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-96

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

%CSIZE%
42099

%ISIZE%
170464

%SHA256SUM%
8be03cc4a03730085a60f2276da72bbc65d54039ef93702d31283be461a961e4

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAtwACgkQrx0hme8KPM+txxAAxleuy1ShQQNks4pVFoNdh3Hboq4O8uTH+PUnuO/H9lEeCfwFAfsgDWP0bqx0DZSo0k6Cb5EF7p4wwuHWlsU6EyQRtuOVrk9DfZR0pq0tPwyoMD19QrVX85/8hFNEfFtIn6RVXJ1/ltJ+yktpqpNjpi9lJ17/OmDZVaLrcwJPeIcTejs2b0bWe3JPBm3UM6l3vVw1tCzvUvePsRIoPl+j8YGMpftMRSX7u6aipUgx/agAkqt2xK15i9UK0mjvUBLKgO0Em3Cam/2KS7AQr8QBqT155s3NL0mvFuN4BJOjenbroeFQy7LwOJw77hiW4HsphlABLxuyLANGC0il5MCWeELmFm7IbTpPALGsz1/f/xWw8emnrtn3RdEO+EsPBoRk10RhD7W4tocMFWRe0Gz+YNruENwaidhXt4MJb9VYswLX0pvPSlmv312re1Sp6p/uXuD5Vqdar2KTsgRkyTMVNPYSBZY7TySInEJLBlaM43PjBTPQvdmvDKDtM9AyvpLQ1x8BMTp2mGpR5tRuod+klRX9d1LVBAzjys9Tk2jxXPPnkmddMEX9ZkrNwLI61vBh8zv4RROjha/dRrMAVcUNh4L9QEjK0A2SwZQxIHGJ7ejfXQGfv3kt4kfVpUgY+vKReDLRdOg7uJBLwfxJxLxwYHhggKLxUnO69OLlakGa/ww=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754709

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

%MAKEDEPENDS%
ghc
uusi

