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

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-65

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

%CSIZE%
639003

%ISIZE%
3725025

%SHA256SUM%
f232f8ac2f450691cd71dff50cbb4c53e0c7f64ebb658f72cbfecf82757e07cc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSjrUACgkQeGxj8zDXy5JYlg//bDNNqfkvhoNHgdwDvfIDsq1hydObVXBbYrUXXml6i9hTaiYuw6qF7C1N2G7Ua0D1RBveAxcq2iQ6qiHGtTwAS3LYMMIqfFaNqSVWGE5i9fqlVEiuGRr9Sj2Zb1kgIUpXimbRU0Ajiri07PtTmbELuA/c6plGPsn+yG3JB2UDQa8BSqE+MrRbH5aOMO4KFkNXw4OUKQu4MGNhV8KXulv0uBJ7ESlrriC5bAVKRlsqbwtmollPckC7B+R/0mCH8mkqPRPBRovtyts4fSq9g90lWLN74/FbqYxU0idxAcHVCEBCERqDugDD89tgWIjrHzZXoq7Zvg7UkjA6AfJACo3Yq9W2Ey4wcJJ6GbarLTraHYcPhTabE2VqRTQ5rE2JMc7iiEOiZn/Tqa3/thTxmdv5vnp+IzIDLMPcBJnzWadzrqwohwSp/dhwLuelQZqafstcBruFVgPm3eevYngSSaw8ZEWknE870fp+aH3GOOCLkDeeJcRI6nPEXKyi0uxQNHk/tAhNLnooCzhkJ5JeQX7s6NM0tW2pX2s3Zq438pTrk25FRnnd1hiPAbGNSyqGEQ9iC8LgOUDZslFP4pUgQaEPVRKZJbpZKIPH3R1BLzYPS+/jMFPzu9fm1K+Ibr5SlvjneKX95RN3yG4N/y32tkuZMzoyT2xt8j23ri2lXYXQxWE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787989585

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

%MAKEDEPENDS%
ghc

