%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-68-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-68

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

%CSIZE%
3830837

%ISIZE%
21039164

%SHA256SUM%
64b751d409534ced6c2ce10f76f4b27389e7e3dde3d8cd310394353cfc7c890c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqURScACgkQeGxj8zDXy5LEMA/9HpSA8JQNzW5v6R5le24C6h+dMY7MzuOOvjAwcRzVGsN4Mc2JiMNPUcqZXqfei1hHPnnbvqUWWU/aFeF6ZixXnJp4xsB+sQORW/EslIB32XDweXzOwoKHnb5Pb+UzjodJPZGmRjZXrzcrMVNkJCsBboBOZDIOIf5HkdHSldVIVI5cH5b//rDT+O641lygrHIoxAWYDJ8zjYWGyXxfIIci8mvBBMVwGzLaGDBVUBuOTD6oir9rXi5dtZljGkZxvMMf2p4MzldThks/Xw/M4Sb/IcDWLw5P2p8tGdy/3kV3JPATO5xE1wSQet0uwIArPODh7dFQg8FFoF1lb0/8eaMv0i0sVLPV57QZ6nDo8kpxHo8THg8BKE648Tm5Jv2iqn4+O1oZGoM178sPpAsIy3jmk6nJadxEu8vWSkwB7S13REyfDEam9UsMknqlr4qZFADwK5iXZ6RgoEmGEyrilM9ZZSxkzT28HzKhZY5vh09YoPMi+svo7dI8Wbl7oxmaKhD51sBNqUXmZz2z+EKO8QNf2XW8pn4LrW08YvVQ6pHl+YB1mM8MQCRxhDcrrgqVMOsRy2dOmVn+iIGObCgWOWEXyrzbTuDxy2mHWs/G7x5c9N17fl09202ZOOXj3XzCJPAZocSOra675Qs25bqBrpUzG7veGgfNbyeJm2dPghQ5axw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788101870

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

%MAKEDEPENDS%
ghc
uusi

