%FILENAME%
haskell-tamarin-prover-sapic-1.6.1-111-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-111

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
195063

%ISIZE%
988798

%MD5SUM%
3afaeeecadb885dd84f6a21d2789238b

%SHA256SUM%
86281ee51b5e637dcac5ed444837201d52114d6c38fb7f1da19eb5d10d2c457f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmN8zdIACgkQeGxj8zDXy5JwSg//UOEwzdP9oAmNG4r4/08ClJz3m4kR3cCEQ4eei1dyv8LTcCgkBuskN9U0sjRftVvzGJ3t5udE8BcuhucLyK0dIaMnsrAvetP+JObXNXabjzxrxZ9MTLcY9Fjw84qbQX6EAIroGqJhotXyIzoR/TSHCVkc71WTh9JZy735VzbOiUYlnM8Xi+is1TMNoUmPFjkS5KJj1Ch7MsdxSONwm1wL4iNGKSb0kjYJoEpO2swHjHtEkI76AsUNxyqsmx4mlcL+jvPlf9q5X3odi6sVpytDlQ/3CCANU9pOtf4gI9Hu547Qw27uRvEXlEueL1mJ+C6EhLvlK2WoQKWm4x+7BDUufHfpquio8cYxGeiTI0sKzRqhhCTmreEoaEh/JU9edpfxhv2IP+G2gDHeuNy7YMlq/f4ga4BqOV9rCC4LUrYL0IjWagIluW1xdf5Bm2WtwJnkXAMF/9VdxgjUt3CbhaHfKPAqLdw7GfmBF8KEymx1HXxVwwaiMYa9LQpeEoCrv1lByvSLJrCb5NqRyHi3ITPTTpjIluuRq99v+fsUj/lV1L/W+x3XE5i8R979k/n1NsMUR1qq7n2Y8LyAFer21hJ8NxTbY5VuSvFvOqHhtqibHWgkldPC+ASZMMej+mm4dFhU176ACfvY6gI1Spwlh8bUOmQlyglUJxcNe8PexigN6eA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1669123512

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

