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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-79

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

%CSIZE%
3829890

%ISIZE%
21000100

%SHA256SUM%
0001fc7df5d8055d23afc2dcec90c8128a2d9ab9509a84d72a7769bbcdefefe6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXgQACgkQeGxj8zDXy5JvIQ/8CzlNGBHlj7qybBcaWCG1Zb8J0+PW/f1CqrkxW5otd1dhgGmv6J9bgjvK/vQfas0cyaP8M0WWixFukbrkyFqaKZZSYxvIx9a4WxaT7+oidJ13gUrobGyxwXm++6Sw5bspdW/AVIw2v7rKppK4na3RtnDYa1g/0iKkm+avPnKcjeqWyEY7Xx3ivAhtCMq3vb1/O9nf+Fr6+cnJYDC5kuGdVN646ZP6pdLaNyQ93hyXInvTBjNgqdtybfVBUem4gObn/4p3G7jmj7G/I9hgNbhydKZ+kgkZhhKrDlAgPAYT82klc5TtZBzK0hTLnTPqP1Ao116sXK0HX82qiG12CZD6NAmKB5uU81iBT0N/sJOK/sT7M+sFQnRBIZ0gH9afsstbEZGfTQdO7xwA4fsmUDGatchpbqvvnXu9ym5rBGSn+/B5T/l4oHF9PXXURbiJtPlOLKmp2uGJ+Lq5hviiZsySFWXKfnXAb3Uwhnqxk/MyNX5grOBZD8bhLr5EOrSJHCQ1kHyZ6FBOBJRFqzkAR/nYysRxsXMRZ56Cwf782UR4Dl1N9kAzU6Bkk2c3/DMzAZJ6QX6x0qgB/JnA8Jw6eBHdxELTwveXsWR44VfsVoyMY0F56ThceXU3Ye+05kNOLv3jEFfoP4eGxebTgRlKo3khd4TfKbqPTnPXp9XMUxdjwaM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991813

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

%MAKEDEPENDS%
ghc
uusi

