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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-52

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

%CSIZE%
221559

%ISIZE%
1187688

%SHA256SUM%
b8f6cebf5c74c4b1beac1c38933daf90913c051a12dd47143856592729f8febd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo677UACgkQeGxj8zDXy5LV1hAAiQLqFwAit7VKhGtSSiiFTpK9TihDlaigFuboayOThd20uhBZTxDIsnph1tbHFt/IeK7LwQk4M0N74ReAE6wdaN40ysVVTt9OK6svTu0u3X/kPM9FSfcElkPHnfVSDpwKfCqDit+SfEtgsGK659z7fDAeWQ5leVwoSSvXboTH+IsThwp4MYA3pBc0D/IFkAbXR+Hrm9kRlV39YFFx5efN89B8C2aOjBzcPz6WXDTvr8iSJTN+MbxuZn6pNLHWS2pADcc6i+EXIG1yuB6vXUIF1pX3FSBSpz1ReiGFEFg9p4YWimP+HMAAXljQ+3kJshXKGpoVO/6FT+7GVvCKIfJ/ZJAGer+TUKvlG6JS6jj7H3pUBilOXQH+FAi/i7+pEYYLwbvbJ2Bd0N8EyR/kR863bVnj1LLAJJguTZBQzbLG5klaLciimAwkn0mKcH2n5Z6Ua94Go9B55hIfJLM+Y5pCR1Azv/iKhmhXqsBJTTx9vEGP8kJLNtOTm0a4qxiURp2jOAzxG2gZULbgpqHT0sCrqEpD3kAayATTvh+oKa4pilInPZvpR14iDmDp9Yr973All/sFhZjG03AX5MC5Sc2K4x3T+4er0RV0zdZo60MOQGvy+GtIoVelOwKQnfHSa39Y8f2X7SwrivTfZGWzJHy5osyckaMRZLqOe6DJ8xdAxws=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782247330

%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

