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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-40

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

%CSIZE%
266931

%ISIZE%
1212741

%SHA256SUM%
c3767fd3c9a59a5c851892695a84478def8ef510c8ce1e3820fe299eb9b8330e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou2CoACgkQeGxj8zDXy5LZVxAAiGQII/WeH2o/CcNFJGORrYRCmtDPUbK+LDuiy0UmqPmIjAFVE85y+UGFQJVho/WMqYxLB/eA+65tktFBSPI6p9pgO7Qo55c6tqvBB9OOFJOH2KRIe/2OZJyqexzV+3BWDVGeWLmpT/GU44+v3uA+tq509ITM98tbK2NQrZtyRIu1dsUognBun5sDThAI52p+S5o4TuUR/jz0ZouhpTkstOnquZwXQnQ9m0Mr3nAIZJL7N4EuA4PPB6Ge+ZrRa0PyrFQb35q5FPEwznAODVBuisSuwP3aITsK9WFTUWZm7NANY/gdOkBqyECvIldHl3lCmDhxRnoRD0WOijWzc8b1v1qGHzILbHyCMgvTMZYvB2frE+A9Yf4+1LsaMg5jI3frg2f4pIRa7XtCLjZURRBLAOzpXsL72vNyF0a83UehVRV7lqTeZW2sdyuN36zbvx8GfVdf+esK2whGflPjlmARZPpQTAiGwCkwh5oz6GB0DTpvU6r3w65kBYbPQ5D0xa6Imh1lGvcQkkzSJxL8yahg9cutdwiwMgBoNZGDJPx9Nm2UX0/u422Dsjl0OE4OmAvJgSSRohQXvkSPd0TAR9y1yab1Qz8v4b7Ok7eaEGlUTrXFgzp38Yu63S7dpaxBE45z/pXlaEO0s4MQkYwemurmJDhlpXXVLej/KVnalf1/hjU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454870

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

%MAKEDEPENDS%
ghc
uusi

