%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-37-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-37

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

%CSIZE%
201054

%ISIZE%
1148890

%SHA256SUM%
4e3bbd55061c7361462be4dff09e29f7bb97a4926b2e2058d2784fea9d917d15

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTESgACgkQeGxj8zDXy5IpExAAnc5Q1mrxGgKqu9wW6V/qcbisxORzJ4/jcWiaRyywGSERdrN9vNsW41Fz3TM6XbTRtkicL7NhtsAhSSFbW/iogPKw9qebEv5P8iLGVI7hH3K7dmqKxRvGSZkxCB7zQ2bNYtBiLQXmEERsslG4l4U3jXJM8zoZoa1Y/WAKPnqQBkrMBg64hpUM6vu8pYH+Y7dVvwItDwQZfnfQqrNIJpJO5Nz2aOoR51PQd2aTZUMGAcf8Vwceu0lSiTlLbu1lrnKJlV9RnigMrvWvVtrCCoC3XcePg6W5w6E01Exu/J+GV1+Gw05WkLBCISsrSPwmk46oX95V+cXYgOEKYjHgAo3ZjKhcrG7PFkH4Qk0pn4CpEKMIGLHLJ/NGFfW9BLIZiDg9N82DTLz2aS1xUnbXy3SCI2KeTDGyO5MvnE6d4CsDuAQO9LYK/7Ay1YSq4f2HxdpQAxzynieHwW9DPL5cIXyIbfPoK+p/EGEhj6fDl2AM9GBCb1H92C8Vxjw8wROILmc+oAjS2dFzrpEfG+N+xlV6ahE+Ti1Stu0XHBSjwEmo3QBiMqeHHCO5MiacLMTvtAcKFDS+5SoXebV2zH8gTuqEFI5VeHKIB3n2r771TeEzO4mqGicKq40IcR0a86JgyZyETZeNrde8Pzi063BnkBeGF3wSGcoqmj3W9EuRoOKSWLs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779634442

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

%MAKEDEPENDS%
ghc

