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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-140

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

%CSIZE%
191701

%ISIZE%
1024784

%SHA256SUM%
c3c661f553924569c8c50dd4ab67208d0f957a5bf0f1f7b95d65a29c90030753

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwOBYACgkQeGxj8zDXy5I4tA/+LGp4nNkYYt634oRW2io/4qY0rRpkyIZAjoUaM8uTj4Gv2/nWvOMBcWZ8qwR9YgmzME6WCmGdWEbDo1h9BoBlbiL3D++9yzgQ9+Ha+qKrAIsd5cj7AoXDpMQh3peWU+5zw/F9pYhZZon43yJpxd5btfkOEgG/87San+lDZqh1A7q766V9I86sFuIcilJTpBmoF5rv2vb0y/2GQmJwsUMoXRdferVaarM+e6VDUdCiszhPWOHL93yzDtNM4n0x15KIWTMg4MCsQ2A+qTviL4KQPC8REGrszyhaZor1aK58+CaSOT+Xl+74AGLKevog6E1tPlPa2vMNk5yf3IdqEWAuAT0RQk1v0NDPT9tCQwC3SuTPbkySBkGzZAtBrGzHP1W9ycMA+PIrsf7TAR+FEcPoLpxg5NeL463g+rxjDIoWCOv0/1msea284m3AZdHf4qoDC51VkvxV3/jErVRs8pBUTfqKNmDHIa8n5Hnhs6XisRezCB5Ux5XCtWbZvxo3kzGixm8c7qPZ03t0Plcuoh071+9jYmxMxl5vZfruNQhBUpPvufDsE3E0j8HBgG1TcJqb0YFrIPLKDYvyLm9lRwNw9S0WQ0k0T6Mel/KQQDy2yqIci6JGDBSwOXmDyEfBTx+U295IVLHvo6TwqunZjxCYBS947clJpSiF6G1P4UAasKY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573430

%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

