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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-65

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

%CSIZE%
267019

%ISIZE%
1213741

%SHA256SUM%
d07797f5e2b24b23faf69bfb4f6023148ccded4c606d03353ef08d5cf755b5ce

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkMoACgkQeGxj8zDXy5LfEQ//eo3AJ4TgCzSBh+GxL+OYD9Cpk19F+FKKwyPgmZQyPQB8NRbwCNGS6hkA6lxqV+vNTfEnsQ+4Ry4R2FvOGywPCxIbR74VLHewgdfSaTxlg8zL58qVNOyDGsO2iiwjRJWsWIOSconl6BiM10ycSFZ8JAj1fCixALCYNcFF7I0hgWIHHNN+N3TxKF9D4ecBkXPXiKyb7Wszp5wMm81ZwXjf8NthQCiT4ZtKbGPyeM8bD3jQ2jlzqSdvxIgjiMd9rIrSGyJ1p8TozIQZbsU/iXsg2yhhmZrqMhsssBQOm/s5XfRIQLiATY9eZ4Emqzl7tiUNrn8q4MXXIOBKF3Wdu+5qIoxckn9hGTgoe98onVbtpGlgTpSCd6iXssHymHvOBFCEAn6oEkMgg/Qhy2relFz20LBN6ujSYRqgqHbV74FwcHhZUsPOMM10kL10thn265/+s/Pe1Gslmk15aflPedNsN2bicN97UzWxUJT0EDD3IL2bWJRzTbqEGZ62sAsBwztWlvykEr5s6k8S1oGBDU2I3UrDcnJMaP7L7UxSKilzrZGiNe8yS6+UNg4S0uZQLRNy7y1xV24YKOnkusrZ7T8uBGh6aGSIKuRCxOhChSQkT1wPPhNSp5D104ogijTZgej+LB8P9fSLg4STConN0jua+lm20a8j0ZWLnIjb0T8s4sY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787990187

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

%MAKEDEPENDS%
ghc
uusi

