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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-33

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742903

%ISIZE%
4424472

%MD5SUM%
11d5ac7966494c2710c5c0359b0a00eb

%SHA256SUM%
d3e3e409b6748746b4189d9400b574e073564d776764b0e7e7c9c1590582f378

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC0KIACgkQeGxj8zDXy5JX8w//f/4pIi5/0YmtBw76dw9X1naDuLfBFBtJ3wcRUjUnFGmgoF+3xq7t6GWOeXQgkUK/DQJNeu8AI76lW6LWO6j9Huffj0P0Xd0FsM/M0ECrhGZCCh7Gtk9T7R0mnwuldHnc6z7Lv/DsdorAEiXZrjspdj7OW/h1OxRqCmQo+HVIuOg2k+9omQop+3lDLJrekpGIpWA0GgWPm9YNlELB7WgFvmNC8jTOA8pKlU1LNmyttsrNYRPnspCM7zDmNZTgN2A22bBWqLssu9JDTrH5Ex2HWES8RdJ49zUXmwI+48xkViIwVqiwhgmSxsnRWVDq9a2yLXSkDmRg2DjhqH9KoxfgEQgdYtoCA7Y8CyrlR7ApvMAdpgz9pSfDMP4ya4uBqRhmV/ElRKniGbhDf4ikamjT6I1s2bwBMOola4gAsWVn5kdz2FnuVhBXpxkZpJTX5dhkHq/O7hfQh5FTcILg4bogQz5ZjY9/zkPVFC2rDtMIpW3slccmcj0UbAc5x8Abnc6mhyv5Z6dAr9znAfONECRs5rU6NMuvBgsmYfxgftHdHOet0ghd6CGXZOCSrBj23rktLepzycGgpTidaA8ZIg0+U73tvlzLpt6Jv8LC3TXwd1DHvDhe8ZAmKCxBgC6kyBk2eDEKUIok6d/YaBUI+fpYv5K/RzjPM9DIBCT1isiD4P8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778569316

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

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

%MAKEDEPENDS%
ghc

