%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-140-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-140

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

%CSIZE%
259076

%ISIZE%
1271014

%SHA256SUM%
bef344586cdd9d7aeb202370134f2cb1f572ed016f3a18991dd37467c67517fe

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNxMACgkQeGxj8zDXy5IbEA//RNRKcSeK6cwKxtm0f/U5SKDgWEbsIocLMPHCDrf8HjcFyWEJW7q65W6JW6MNZxfSJeFXi0YICYE92Aaiz+7tBQeDvjlPtdkaaFW/eIiukBdKqGayMQ9oJU+tg2OHADsA14VunracnElB4k7NBlhOcWe6P8hWNGpofvjambvf+I+7ff/lizKb5Q4YnjGy1qm72WtFFMTD7GzjqogkqUc4WzQ1zoo3csUmD4u7lEg9m5g1oMo8ACz0h6gMyMeeQUyj3h789GnebirX8WtbUKyIOohlaZO2mNZpwC7x6fG+ltrBsooGsNK+jbkrvRC8QUmvAK1N3Z7uOnLHlNHba3f52UyTIZsmIjqHvLHPXtK6zZCsgvEo6jKwT9u1YO/yCJkMAddaJ1kHfS0iKZYD6MM2kqrZk37dXvHk9V4LJ0JExW7LHI2Gfh3Vhgvdo1HyhpzoujO55hqNa6E9eFOdpirkbGtH+kJWVmJTmg5l9wgs2f53rUsVWwPW7rTCB56nPcwobuaWqXpqDIONKMzPdZ47FtHoJyqVw72Sr2oYWELj3ixb0meuV+w4nMjA/9qGAdmEgNjtM3+RGLSQOtHsyMASpeKhe6IerwVWss6+4OZptjTR54byfDssQQLUQlsCsLv3CA4Xx/HBgHh7fdSCnqmzZiwapN/01/Qx+tx/10DChXA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573176

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

%MAKEDEPENDS%
ghc
uusi

