%FILENAME%
haskell-tamarin-prover-export-1.12.0-98-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-98

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
221292

%ISIZE%
1187694

%SHA256SUM%
c7f8fbcba5c7bc398108726b37f396a3f6e32f264867577591fe2ad70cb384a2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1D6gACgkQeGxj8zDXy5L+Bg/+Nu66wOvooGlS3AyTu+xcIJPBC979WJqAOL8v1rjQwUdF8pBzmG55BEqtTzp+wPyPRoDKFYTxEqRNAAdR6jx0pyIGhbhS9EeVmFDDSfACx5ubaBIuyihmAahkpU4T0rTJAOAOfzoEaxRbXqGZPq1GCg+itOQuZGZF1dBR8G//dBXjOeXaEnwlp7iolCDEM5vYPh5nuZVdiYnVrsyyYxw2ICVEX6rznjy5C0OaSOdDP897Gmyz5aFRFm+IIjoWnXGK3Cf9p2poJOYIUQ7eTqq6UtV7qT1aNfxrN/2pHFS5DyPixn4FaO+CM/+h5/Qzc+UyxzlUM6PWPXd4K6sRXmr5xB66ShM40c1XAjXz3dHhARHBcvRdzJVmNM6fne2O11gcvqpeCRZZxFdxv7UaHMo2M6v0rVxyaneE5kNM8orPlHLVxA91vfg4Lp6II+TTLqghZ2sWhEbub4hdGNKlh+nH1nmGUNOgJE6FW9NTFZKPZXbKdsgxBz9LxVsyUvMV8mfPE5ctHQSh98zHDaZQ2Vmo1xqdIdMhLtaY7VCbDLg6i6E83rykQBiyk6MQPHKgjW3QB12jcq7MKWUrd+iPmGhlSFwJ4HBu4ahq48d7pGf2Bzo8EF6wL44A+kpdGXihKajk577zMt3qW9JnXFCu9F+OfrRnczFIUIybNfrVQRsQvxA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794445192

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

