%FILENAME%
haskell-tamarin-prover-export-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-3

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

%CSIZE%
180833

%ISIZE%
973435

%SHA256SUM%
04bdbc4b05cb891675888e305daae177503cdc176c1d946ef9da5e71f35e4e77

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4QK0ACgkQeGxj8zDXy5L75g/+PjjPOCQ1h268OwaZ9cHwdTcBACwsa3xksziOjg+1v6atlZXkAnVcOfeRyIfsDOo+SuM9rr1Al95jddu1aSd354xj3H8oVkFPCvIrKuC/JYzJgZdgi8Qbs907vvhfctRBBDW4DGKgBqWTigPxpMjs1cu0yZO+UCl5Sh4+Olk83nySVo4/spmUEklwSuNj5kCsT7J53+8PAwbYKy6T9+qboRBGVZ9PKsjZqwIz6eHfohgx2ZSzd9KdtKMZED4Nu89tKCtjqN0gd8zqjsHcsLQ5T1Qq3y75TQlx5GPNnSJnnTqByC6951rjJCoor0U0YVbOp0pSKwqzn/v5xuAypmKPryBNmdZhsvJdaH0cgFVsIX/n5uHib5bWPSt8ieKZHIYs0LvnYjgzoaSUfNmHKpyvFY67yvvzEZvOAsav9QfBMK5DiVCxULC8yvKCs/gRvrLs79iCAUznUvThxHOB5s/qmZYqGq7Nz4xvzx3/KDS0CZB2DX3/tnFhDChmkqN2+F5tkkdlM2iT4uBRdoXd27PtHRL6jlZbIE5pQR1VwGQ+41UtA6y8kcW8AOgtCk5o/uokqlrkDlLNwNaVhXuA3RJriDA22ahHl5U/iJKCptfqdMbBbN8Y18Oyvfz4m99bubLUBf/AuQbBGnMSjCFxPj7aIfNIeH0bgvsMfwzMVdDP+z4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735934075

%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

