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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-94

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

%CSIZE%
42072

%ISIZE%
170312

%SHA256SUM%
d68fed0c7d1975f09cb787f160b87c78b49ee5b066f6721794001a76e32a9e39

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZT7UACgkQeGxj8zDXy5JvTA/+PfD3OsOy5Zvu1tHHgkixNVu8EsDC05nSA9oI2FTAHSjZvxAh+mlnHvoXvfky10ISVJijO0j3+68FUTt0htXucLwr56bzRpZGn1OqWG/Kx6e4BlYDerEvSUevrGLmflNaQtR5iBtYAn5n9DE3opKta+XY7zq73RmOgczvjlIZgY3+JCCuFoZLz6zUXhEfSPPQq88aL5KBmp4nUY/s64C5Ms3YqUirhDfy5xzYgtrmYDAkFBtUmv9QW58gCnLiTY3KZazx2lJ8OVP2w3S/2lUMr86Ter7YBSCpOQx4sGHYKH3xIyDIyw8L7oXZYeKIiHd1lwwnj66nV3tBzW8jSu5GD9r6lSFxwliWP1iCn5B9JvnQR5YjJO3/0OSNy8NNyz5Od7joR+V4FWanR/K+AAIFrv9i9WXUw/sDcP7W/GrlDIxoDGnjNrgsTD7c7sGqVm0wHm/s9fSNdBbIC18QDWnXKl0kLyAolLNjqDKvUdbJB5mNZNQJmbG3siaBQv0F9HsJdLz3JKYP9yGKVuXfgqvxbz3zU0LgiyrksATH4c5u22rFHZ0PflGrpRUx/eFo29q/KWcqB9A4makFxx6b/5omG9aLxaBDBpFTw1URVv2gCm5BgSkNJy2//VTnDvvZJT4AS5d6Bu6VyT2ft4/VhP1/Fp6+MaJHXDF7L8nV2AAEYFs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626557

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

%MAKEDEPENDS%
ghc
uusi

