%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-3-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-3

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

%CSIZE%
3263588

%ISIZE%
18054632

%SHA256SUM%
df55e66fe2384dfe7e2a03da218081f68c52903c4459073d2160ce97c2b5365c

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwYACgkQrx0hme8KPM90tw//VMDxiQM/uLI1nHBtphhqb5zp3SLtfs1V0AQtNNUhZTPpwPzNfCY/sooIJRNgWR/RAdaUPh39lEL2e2eYipH+stGucJ4MI2OPJLk9FzCahBsGhBuzwch+g8oNV6JptbZHeFOO0PyRspbuAqq1dUXSYQ0qbhS4TkIC/gSMkGNfDBTCkqXFFvTwy/q7v/ndqw8cengKr61Bb+grt+65778ZwzyyJG0rtHCTNQSTWGPoPVqZph8P36wb4w3VicFTWjzTfAbI6hf3UqgkSspof9KljiMpG2BSIzxWzfviPj6OnobKUuC583LZgOJvGMiOQ1i2iSMSAYoWjTo1byhax45CLVkEThTvFEr1yKqVkjBy+ZeuMNf/nPCD4zPhpuCTTHe78V6MyYC+Fa1HgTtov2kH+3m5jjt5FUcwfD1qXcXJv+d+Y6kwO9ehErggb4fu0YTcnTEviG2D7/HkyoOq/WqPrVgK+rGRw+OCckAis//E870GT1QenpttSWOed+qa9RUic9pcKRsm97ifq2nuUgr6e9Bnt9fQu2BS+2GPBUN4BgUDrhAcKm3rVEwXzFOml2zbLmx72jZiPwA6/FCxtI+noIdm++UhqoFZ6Yc9sEotSEywfwZ3AaSBTwXjcXJ263K5OpDO3xO52cI89rlBrpwOo2OVnHZUSKNkaxmWE+GKC24=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933635

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

%MAKEDEPENDS%
ghc
uusi

