%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-139-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-139

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

%CSIZE%
569476

%ISIZE%
3266390

%SHA256SUM%
9b10ff3e9f4cd44cff391fbddb5d24ca49592619c5a27ab68416c3556346e290

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNRoACgkQeGxj8zDXy5JaPBAAnwC6fQjsPEM5UzYYlL5qBytIktjFyfiaxex9+aRcHvJTWWFiEKd3R9Bj2Ow4h9mCIx99oNGba/TF2z29x/OU0QGXysEtFIn4WWkPC+ztD6UQ6d1gso8ohGUc7QRVenilpPXSsYG7o5mLuV/RGMGgZ5nr6dykWysI5/cy7jzb4V2oK+5q9jrnfK8DY0/AGPn4T7MSTdYJdOtnbAIHxKEVWvQu8icQydEuBNAw00BlsfBus3FkK32hLyZNEaOeBQczZ3tBWsdb9TzIgRRdH544INLl3FzChKrW9z/ka7pvSqdEMsTPGVSW+AfBts/3ZVcSE5058ouNXyq5Avj4oVCsiNr10enepX7tVY+fQH0NWBbe599uHidxclhig2nH8QF26ulyM6k9uJPdRUcevj5xtRCaM2w/8oIHec2Q892Sw93ZBxiHPyj9WpGeuBcyMqSrU3PUUyTvYoJXVQh/A8f+JrOY4SJYTCmAUHpXyNRN2CCtl19qKfWmqM5pw8r3JMqq5a3y9PKZWJjZPy4PEA15JKhwhZw9E+6XsxGEL0Hkd5VjSxa+Ung82ER4O5gH+4ZLotSRYSwneGxZZks6adVxrDjWYPxT9zWJnAjY9RVJKF+WL5VHPi1dUZcADW/pUretc1l6nQxECpz4RctD3JnqDhXPw4c8aSkm1+1jaLG4Bdk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760572619

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

%MAKEDEPENDS%
ghc

