%FILENAME%
haskell-tamarin-prover-accountability-debug-1.10.0-141-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-141

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

%CSIZE%
36954

%ISIZE%
144040

%SHA256SUM%
c6597803e569a7a4f928733bc6525a41ac3496927a8bf853e9c0b13c9744edc8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkst5UACgkQeGxj8zDXy5Jnpg//Y4TtVMUcDm1GDNJWby+wV78yEBckn9+lUlcGTYoLbTg3Kf7X+EFhqyrFbihZ3wb7em/34M1d3QDt+LpDdmAayUPWYWAldnne/AvaUvYMciNLZCWWT9HdJDy7/tcZ1i19hKCg3jEKoPoiSw2XO+iRcjcsHjFh7GOiUbjIXAU8PXp5hfmNrJZreLsNR12r7D0iOy8qydAfbi9g44+vqX3zFlOUBwL4cDciYGKlup/yRTbhnLKirEdedPYXTnojFyrbRbO8U7I2f4BqXj/ePSJI4y1yK2vbP+3dgA0MuBURP50YNwTQ0i+0Uke7d74bUNXMNW3w3BjVhALp9MhrqS7M+noe6ZDK3bFdt7K3tVW2sT0d3Fegbn0TkD4LYgN4ZToz236HkGghKnbtVlfBbDhxl5EM2KT4egeQMc/PBxnenj9QeuB0hAuWWE1hRncohkO1ENzHpKOyKPTcIyPkmjKtOZmePGc+QYAgaaCjtz1DCR7j1rnKf7brceEqZS0vwDbDT0AWRS6ZUn3dwpgugVSDjlzCHKl8hzcs0o3aIvahMDR85GPfhFk/aQ4qJLc1VE5Trp51MqnTdhGyUxy3DC68XjU76Dltr6OM681rj7mjI7u/yYEHbY25uHgTbZHip+5LrAGHpBoxzsyVJMC1tK4uj6YC2SABddJfyN1+1RqZtZs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538207

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

%MAKEDEPENDS%
ghc
uusi

