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

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-94

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

%CSIZE%
266902

%ISIZE%
1213765

%SHA256SUM%
210582aa69fe75976e0b0ec1c7c1088e251a1e4187a18949fb6ed07c18701b37

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZUIQACgkQeGxj8zDXy5I3Dw//RwmUj2nVeGgzvcVI0Y1m8MUtHMYKUOFKZs7YXjopd/KQ9PEhhlAOCtaA8x32oQ1fJlPgmfLp4P8lB4ubPAfEHMdbqBGAAo+mD2F0j/Xr37NhTj8+HG+u6zYZefxrbkQUGIguOS81agtRP2VaDeJ5bmSFhv5o2vCkf1ETtf1tlhVEuszuLU+fy+ITxuLil+FCquckcsROow5lbDl6sSrtrVPLxkxTkbeNVg+KKNoqDwnEH6fNMeZn98qyQwKiMSgxy7LM3Hy4u/8DiqRLkFPZ40qESvtuJ0Gyn16FqIJEiFY8fJyrlAXVDBiRd48d5K3UxaVchnDvMyQlB9U3byY7ET/nVHNjQbA8hOE09dnwSiPReOvf7gjg/y7hvOk3K1hiv/Z81i8OoGdHI0plW08VQb0K+SdHJjsQmSqeKNuGQLrfcu+/n6wn2yFmeEaVRJvjzzN1HIz34q1oNZjwT7x4rVkIwo47JnhCRZ/jH4YrHI8JwMD1tzRmYF5M6GCsXvsrjNshabrgrKocfEwB362ojyMhiOiMaWgNcnfclOH1iLrp/gwtWrLXHgFXDlOIjsInTRENaGGJTUCBB5PLlSBxhxtIE6pFQsHvps8neNmt2gwxoMUOVElEFOMbkNdFM8tfRErHcH2Vr+HuOg1P1LKLh2eyYI2bQnG8M2I1EmHslVQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626791

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

%MAKEDEPENDS%
ghc
uusi

