%FILENAME%
tamarin-prover-debug-1.10.0-8-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.10.0-8

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5908

%ISIZE%
3096

%SHA256SUM%
ecf3f4b1930675cfe26995aae5ee12cadcffd3ea44df81e269cb14fcdffdf38f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4XA0ACgkQeGxj8zDXy5IZJxAAvBvYg9c6ncEimfCbTArKeaemFItZCst++zq7XOsKRQsKUFR0J4CCIVh0lGo8QnxjKFegMDgGrAe63wqeC2cfZhP65xMN68soIVIK+FNoK/xSy7ge6Q2ugp/Kph4YC8M+n7ax8WsOVqqtBdzHSGw9k8TqZ35FXgPFYjO+24YfXFWJStS7o+auYhHxo2Pzwp03A4jUIWfvseA9Zy2G1CZVQ1v+9Q/xxXRc6kXOAIfepjY5/fQPmtK4R/UxrplqvNyyLlITfZ+zfMAdiCZFG/1DkubXldIwHWfZFLpeTEaDxS9K89nPocLl9L3KSO8U8Y56zaRVveXwk7FbchuItefnBUJkNs50DktbRZgonPxKiv1NhaUyTK1wRSeRdnRspxf5RfQ92cAdc3uF+MkKi2BG84yzivXNcuhbzfhaoGOGkC9WQlhm0c3b2S2WsBih8S8p7E2eJ2tdRQs4MCy9g6NtNeTWs1g6HgTCXMs9MLHtRWHImjNhUxbIOJAAKYxZfgflDxhOIAOLAbTjvFHjGabxRb6+LEcD3vGhMFBKUYMAaqTvWvIcsSdWCwC9ls2pAP00w7PhbNiLjivVrwUcXFZznU8bhOPtITkbacnNs96geCSY8w/3oTVKbOI96O16cUPupX3R3csV31k+xlxubNrxtMn+7Sj06FsgEaY0iJqxU2k=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735941082

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

%MAKEDEPENDS%
ghc

