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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-139

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
740147

%ISIZE%
4409421

%SHA256SUM%
5ffea95542aa7c95b3d103417a5dc52560db0151a829906c2bc6565ae431c019

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNRoACgkQeGxj8zDXy5IAWhAAldUk+WEpc6fcQhfW2x8feAj4vtlzj7kSHJMaStdNxwjwjGI1eEkp+W4hlM9lFE7rPUgpG/dwBY1RDmidKbbqZ9OGbhSl0tMLsz6z7NJinerhPC/jHtIITlNhfIFDAGz1arfqFyNo/+idZrTu0xNbnYhtQvwVj5NddbFUP4q2tcCSJfBIBVu6khu/8u4wFRVJxfewsCpUgf7dAIWC/s5ArIQAKENMc+MlaLdvEgymOLQVu1Pipoxi3L4DA6sGZptLebEAqfr9Xf8a4g9WdCdP2xBqoqyVdjNSRaPgVypgBJi1asUyzQkfFXLUPwcF7ty2CdOqXHbuAmRyPun143Grlwar5lQQiR+rv5XK1m5eO7Ki/G78NpW5Th3rgf5UrHNVjeO5QYNn7pPNUf7xKsnu1+0i01gBgrFL7uvtkpbPHc0zbuOt1mm+0wW7insTS03ACt8eqSPawpGM0FYge/R1TNzT8CeUfUUXFjkHtu8PqAM3USkYt57/aMwg9BJocaNblr3yOpKQwF57Q8+6rcDDmSjwJSCWetge0iZ0fqbhDAtWv8hC+x+eg3iOm4/zBUluWUHPvGM9IQbLp27e+XGTEiEDYwDVkS8JZdEnFcUeSNi5NWgEjZGgsPI1gcctwnXcj3/B6LkDT5CbqqQwvTXYhxpOeK5oZE8hucOeLF+WELI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760572619

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

