%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-76

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

%CSIZE%
638916

%ISIZE%
3725041

%SHA256SUM%
dc911f89f411eb98d3e145aebab4172e124443ac1171c0e35e00e8da633748c5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9G0cACgkQeGxj8zDXy5Lo5Q/+PAJLcZBYFs8Rim9FJsp9GRK1zlDrH39sDm0G7BZLr/LsC7T5cpgLgdSpQeoEP93BqbIGBC5zRBJOCf8kTzF8JxmUPFFCLQmYaKXTeeyQcQ44wwcyyb7RBLs6kspb6WviWm86Cu+3C4w3Rknzp0F3wql4OjK7tQdaWeN33xq+vFqv9f3ciMw43tlOC0mljak8CdfyNtucwbAT6T9cpqAlDLBkhRNLhzd4HJ21BysqebA3LX5eeoRd6rDugRdg+n0/ft6EAsRmk0VoEf2CRy3JLYgXk6O7hF9C/PviipGD1KT1Gf9yHi8yIe45aNpYgFOgyHdzUlskcZJ+rtzigS5L4VN91LTdD/GeLT1mCnDgdR2+2GBg4QX4jYfoIymZzBs1zL/lf8VG3pWsbj/hJyO66QRwYKvofppvrZEj0Om3pJphdOWDbO2h7tEgv3b3N+kh19U4LoTviSUdBpaG8cjoxkR+SONApAK9PkSmudzILYHr5Ce7KQ63uB2g6YS613gZ0OI/f/Xmy5gQsmvXgazzrqGpf7UjIjfkZ8ftqaKagxeE033BOTYrvtU9yUmArWsNNpowBNFPh8YqzolqjcZ+ldMdhG+IFr+4zy3RTEYDVQfyw82Ut/7jd93kcEl5uej+37lDu5QiEW9FFpyWSJkwIH3JXuADV5mGQM+qgr3JhHU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778069

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

%MAKEDEPENDS%
ghc

