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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-84

%DESC%
Utility library for the tamarin prover

%CSIZE%
243895

%ISIZE%
1268495

%SHA256SUM%
3afea291f134a74d7827c536c47e9669cc7e730b4a9535d01940eb09700438e3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF8r8ACgkQeGxj8zDXy5JMrw//cqz/vzbnuWQqX+Tsr3+i2VTxt90a9gcYo2SaEl14QPv9MuFS4Ou5Wm9Wj69etjwc8unGRLFDdNOb9bog3HcAu0gG6llCb7rD4LAbuW0rC7sTNKvSegVurKhuj166Q+2riaQnX7VZhDt6HI7nvTmbOo8zFaBQfUTWaWqJ7ZO2KI71KIUdceYlBa2/HCyh5zwMEDCJSm7ZrHYZ37b9+TBCR3vmcG8t+rgpbTOw7CeYPPIkzdvGv5nX4SEaH/zo8cO2dmD+xWBvd1lT+BBjj6/00g0F47BXKP1VkENZ0sqtUikyeQRy+Vc+WjGu+Pg3tDvoxFcYW24pxS3yXDk9psouekgwFeI9o6H4H1pgLVRgKSCt1484OsArvZQlV4U7jYPFIk4pF9hn7/7UFzjGbQ0ZyxO4clh1SbtKprlnbZehmnJ46O7xHMaqVnmTmvK+GHe7Sk07T02zUBpxaCQLkrM4iruHnIWbsQEN/bkJs515tfV6bcjdF5MvlDsyuMeBRUfB5/sFcBOtH4FKglYZH26+9pwsq19L1FAdJWQQD1vz+Mwek+KXPBZ1A/AXXVOI/TOyqGRPyQMUtHt+ZutSe4w349+9ZG8aQXD+IDL8IGBht2LVW44KRF09UohM3cH2FYOzu2PmhyWIBANroma2tEq6NSYxhjP8q6fhTW2AkhvQET0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791357598

%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

