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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-23

%DESC%
Utility library for the tamarin prover

%CSIZE%
243650

%ISIZE%
1268379

%SHA256SUM%
38812a8c07232e00071c7af7c3e24195765827e46b3efdeb8956ada616104340

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnntEYACgkQeGxj8zDXy5IAKRAAlLcTLFM8TYuAOMbFC2QQGnCJJWF4nzTxGRrgeY2nbVSru0ncXh4RUPrMIQ/0xGkV8JL9CDLDJAiB/DsC4TL8/NNIP52IG1vA6uqi6bQXL9tXcGTzJWKYq/ey5PdrzVCrEGXWdmQiZ7DkP4aXGuSY5DzrYL6SsRYUPFIR0c/+MDShRGrA9Z01SIGwQC73aFZtA1gq5b9AAz6yAB4vXN9q0noHHiVoUrYn/te+h/LsOv8167k7LVaoDbAlpO7YRpCR9ohU6WbFRbLO+0FSylvSZKvyXwhWifJ3GGEMMRW0KyfpLQNyIvT3C8H3PCBVXYGJYjdIoduh2KkVDwZjnwUVN97InU4uDClHMTyPaJkcRe7daZv1zRnblWRvokkDuMnETxsrs+JAZ0oD3wWwMTxKL6XK0FTQjAib09qGSyD2773zbpxeO9OLJU4PkJCYWZyghnFQcQsywpMtiSpzY3QMJJlbQWknCN0HGJMQmtUEcJbLcXRcPUTFpTiwcDzVSmEXnT70AzcvJA3gE1XveRcC7BobcaGpxUSZ2lySym6QuAWuLMgs2LyW28zQ/8V8iFXFp3o49QiFtmTvFz43chMiEfRrBxEI9/oABuJagoAsxISAPI/Uxw5HxYP0ABF12gGW3xrKM40f9QO60C3KLnTaeexwKRbULcRqxwRiWVDAWXU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1776792631

%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

