%FILENAME%
haskell-tamarin-prover-utils-1.12.0-56-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-56

%DESC%
Utility library for the tamarin prover

%CSIZE%
244028

%ISIZE%
1268374

%SHA256SUM%
a1ee9514ed6950e03099325208b08325fe9fe7e91646ad24a70d88481db788dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo+LO8ACgkQeGxj8zDXy5IQKg/+JA1D7EkBGQtjH2mui/QoNdTgEbqjFakmaXX4pvjdDT9NIPuRu0/i3cH8+S2B5Qnl+QL3KmZUoUoyZSgpC+9C7wKCDbiWHmeCPqvoVMDXBhv7x+tUFlLshM6AdsMbzhMSmrDGJu6GWXc1kXDfrydR7YwkNPxxPFfnZXgZUu0aFgQsanctVLq1skkr5Qcv0tQSKk7Gy75CFJz/Bks4D4mhHpXqPM8aMmshUzVZzj0xPSV5MIX/ZBB0ZzdobfWMhCFIVFzaWF4HOuejql0ILAcYM7gEx4heOJQE6X4z4hGhSwy3K/1T9yENbj8G9uG45ydJVfyyI1of8UmvLeGOdXqVm6lOE+lnZWTOWpfjt+RJPuTUmBxh5BNg+huLcEWGp/bqpoQgR1IQXlF1eAMRS87evXA+z/sBWdywrcj5DP1lUC4z7OIVau9ZaPucpNeupc0XNJRRCyuwr/Okss2Oosn5zXnsXkgr0rZb4qZIjq+gJA9JK6La2znwQl4VqLOSUWakKYO9Wo6R+7XIF33iPTA4GhcXUbjd0pu5bsyFFUU8T9gbm6Jd+42zGRJHDzQYu07m+UY29RXNF1isBDyQ3EsojSJjqmGMOrLSELVn7Hw7htqq5HL1M8ju3Swhgge7zBTcfVN+faRBKI1yNCSJI+R8dXVtYj3mVmTEDIGXTTWvdxk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782459617

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

