%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-100-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-100

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

%CSIZE%
265486

%ISIZE%
1405359

%SHA256SUM%
72081854bfa7e807fe5d3239e05c9946916e961fb6db6a89c959c37502ea07d9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2fdMACgkQeGxj8zDXy5J7kw/9GJn1F5ThhfzN+vb/EVunH+DCctK8QRcn/GCEDCFANLco3/rl0W2khkR2OgRX9Ou321HE1OsCcO3zWd20hI4RSCCB986nxg8Y+VqQd9bDkpw6o3jiQjVUYyWXSt4dzVagz4+8wDdgsKCYNZKYM1YRSqtHtrn3lxsIX6WW5XDEgUWIyUTlEgrrMyM71/hq6WrsAJ+KZLP7XAiaK/0mLdkxyr4aW4Fz1QB+2rszDaihqwxi8a5GWTJ9wXDPxUPSFDCvCSsG8MWS604J5v8MkWUGxiAToK91aRQP89pAwn6jwx8CgbsLYzgBa42bS7ZCE36J0iQgx1nNx2JhkTBD7hAf1eUEauIEU05L36cKWP/C+eNWEb8d1Y4a5NH8aMFBPIG1/TRN5OiLkvfvmdshI3EbCeoMedNFUiyIplFvfyST7neVyGPqXKvWmNhNELnW5gJU859XLkepsy1oS4g7V3cjicK1IMJrS3bTXSsE4NEJxvjO4XKIgJUMqP5CroeddWxWYCh+GO9a6MaZ/qQL57fdjKNrrYTzFmvN+XNESvwUne51bqrVtfMmiqD8np7L5TZOujblbBcG0PmVeWvoG9mikIyaxa1gRp5BnbfFOEjyEOmM2J+9ug4Sc9KX3aejqRLWqa4Glnn6BJEzIPfvMbtLjAZ7d03i5kqAgkpd2mFYLhw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794538937

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

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

%MAKEDEPENDS%
ghc
uusi

