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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-78

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

%CSIZE%
41973

%ISIZE%
170376

%SHA256SUM%
48b5fed86df44d5fe9bc9d69e787efc426ef4c3f53220160c69345c3df609368

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/FDEACgkQeGxj8zDXy5LW+w//Ss6RsZGSGj154Sxvqi3JUN6BKsHR74u8hMP0/i88zfLcKrQIBQ5vpPlKmv7O7hq+p3RX7ltZdYFr/1TuRRXoDuxFggvHnUd+tQgUd0nGs6gD6XUpaBFLcpwAwbh1DuRZ/W/w0p08nm78gPF3lVlw+WqtmdfKufNh6K0Z5sfRoUvTvh5q6Hq7trDCmrYoK6UtPM18p6qG34ioJoXMO5O6MGgqfFikBBxIh56xFNZlGBotoxuj+f1ILuxpKuuMhiSdID2VeZHzkoS7Dz1Cbd5e3mJSLZYI/Zc81NT6f6/SXz7e6zGMtUWvO9yXEtt8MnHxVOmaXhMhSqqmNBf2Wc6iBfW0hO65iaH+d9TSJh/AnaFgrSzpMIyg5+vvqYdr+qOlDtbECjextw9G+ww4HZHLgbDYLR83j2/9WGvHVLuuii2lQ6fA6vhURIffYHEg82NIiEfo94jr0YZjMSukFdxT3AFrzF01PW2X0EXuyLeR6E6vtX3KQOxdVAKtJPX3WB2GCcWaclPUm24WFCHxxRVAglLM3LZMUD0pArVYpUdY76HmaEadP5kutNVP4+ZZrUdxNu7ZWM559yPNWaX1cdHWAgUpVC+BH+MAwMYNBlNufG1ar+h7TtFVCopNl/455EHzvXSobpURp06zZrCha+lRh5SpU+Ke7ppTlHmw1VRQhQg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907378

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

%MAKEDEPENDS%
ghc
uusi

