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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-50

%DESC%
Utility library for the tamarin prover

%CSIZE%
243784

%ISIZE%
1264197

%SHA256SUM%
28ce645d292e4d439938486a33140a3569f5e0ae5fcf39b8e9df8dc3ceae81e1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4+tsACgkQeGxj8zDXy5Kewg//et8xqlGQI9nUa6bhxk/VvvxFsDOz3OVUWdnKHC0ASsOJacAjMH/LiJZ7QMHnS2vfvhkzmyvAmW0pdKfQoQqUefHNCFFgqK1/I0kTyfr6Z9SYRwBwqMri4SSZXz/KEtrxNhLwYrMOapkWXma0scZK5RzhC+GnspJslrsULuh1S4kJ6caC/fJswqOkgJE+Q5y3T9apOcmWfG4AeU0jTMRXfUp0x0a5D5TdS7IMRw400Cm+4Vdahzn5eCtLnTuMeggLoZKDNECtmZMKLbzx5GqMRl7WDRw25c8tjReYyf4oED+geWfyVP4ODWCIgXXpQRaPAHkTE5A023CLnvPYJXd6nxr98SqxgnCEJ6grguNEG3/VHLBGX4rEh4ZuAzwrDCG4AWC4noSHb4pvOVdqek+hRztdm/PN6B9hNY9YqevLJ7iBMwQs1bd2O8UJXH/MuLx6kDONUDITq5TN/u8bXXl9sOLyjFjNrbszJAnsFyGJYXcy3KPmGqoBkMZUNbuN6zxOfZNPRW23/u4gpVnyv/H+SqhxKirbhUpXlMcCLnkIpJUIU09FkEfemdG4k+YutMxsb9rsWCxHMHgM4fCMUpjOHnQeCKe69Y4SJUibrbb/PV+Hzv9Bu264F8i0PkuEtJi6LTnEAFJeyUBb+XPByf1kJx/KSkpcbIHm3STxl2VDyxc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782119113

%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

