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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-36

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

%CSIZE%
266933

%ISIZE%
1213717

%SHA256SUM%
4c2d33b1d8409504b34b9143607631c9b76f88f111dbe13fc532047c30ffc889

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHn78ACgkQeGxj8zDXy5Lo+xAAiqEJzzSME7+//smLfoek/LFikg+i4J+6J7EwM6r9NKJ5w/uQ9Wv/WfwaEtdjgegK4gL2hvROLbrP6f8xoRq1/8KJMX6KTi0m7AWngBKNIJ21F1TgKXfedFiqR+VdbxGov1cPqfnK2PhjTwj+f840a3GJZgMnYHjFe2ZQe2gZ0QyR9oM/CrysBskSaqPTs2oNrUEzCPSYfWrRtsd66DnHGQIGxGtBZnkC1W/R9HRZEkk7V+Tv39NmoaoZ67BO0g+mqVLWZeiya6lKwLNky2c64sFizshwUvn4shq5sIJHb4nbXDHbuv7VVLQ7ZQOq2ze9w8JImoykABLQQhoJcrzWAgINjKTuyzaapI3msebcrnTIIBYj8lx23urczR/zZek8oWtk1Y+i0cJDbCUmNsvtxyTnT+Iu33TtaNdRqHGPRo0HcVCD5tpu99JxYg9Uqp/6AcAMdRoSSpakP22hCdIpURJJ23FE9DKPIJqNO4YkyyekgFAYKYUdSadiMs+3St450l5Br9K7HqH1taglNbGzu92AlLR8IgAW0vhkVmSQY2Z1s+F04rmIh4HKKSBzogf8m8B8NMYqvbhaVOj16chf0SsE0/+GeDnHY/b0xR7Hkx8nbQ+nFr9lLAFnGm4n/wuwrZlXfJMTPkrZeVZtOJmKJflVFqEuCsygZdQBnpfQIYc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884501

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

%MAKEDEPENDS%
ghc
uusi

