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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-89

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744381

%ISIZE%
4432829

%SHA256SUM%
ca5a6dcbde706a9c966eb515db13c6a04f453529d07dfd41164d14fdd2aaa81a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMoykACgkQeGxj8zDXy5IDdRAAnxhh01sSiClzfM9jdputtDt+gnOQJyafx8RjrxB5BNDvsuay1C8JoKzug4EYYOgjdfqolHqSY0zG3soko6gCte35D8YQ+Tz5PqeaMhlgGgoq9l5re/xlfQO7nOuvlX6OzxIIg3eGAs/kfvHoT6MRQNRFXmZhxHz0eKu6ePSSbRFamDrysn9L1UJQN+Lb/M/x+ySMHFIBCUJ8m3TV/c2NASaIVVnUU77h395n3cFyviiGzAhWK1tqLbNuL7VvPPiGQpO2aGbA9hlAcFkPZbEZL20YBDfB/aXvHfH0q1s23le0LUE1as/R8g2xBOns9KKFGa5uyWPdkjUUkBeQvHFp/TzV8tNsyexYVbQR5SNm4h3D67kEFXO6kBUtOitr1VoOIih/tQkEr5CfIHmxrKz992CfyxQX0rtXSdFSEpyIFKFloDZHkvC7xROYp4CJ02kyyK+ZJ1fMvEnP1Lf1qdoJELHP/PNSp7o8AKz1vpRpE+B37Mw8ivtWzdyDf+xwzC0B2EhdzzogteECmUP6/cyEz9kDgCb+1owGIrXole8z+8cSoKhTDtvdR4jrNyBy5lW//g9UpR1jwYvBj6rEv5VOEnRzPgp5y3kOarnhTVQS97ZaxRpHUceqJnrrH3jqrovQ25SnAXNvKU/mSHIxxfZpM6iJwOJ/Mn6CjfBbqaXd4GA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791795968

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

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

%MAKEDEPENDS%
ghc

