%FILENAME%
haskell-tamarin-prover-export-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.8.0-34

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

%CSIZE%
210068

%ISIZE%
1025433

%MD5SUM%
3fa3802527168b9a2bbccec1931ae910

%SHA256SUM%
fce399fd356fc1dd8439a2c69b4a0e54c90f9e0367c6a7ff38e09a0f993687a1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM+/JQ/9HWgy1b3NsaUNYJRB00K3BJx46kmMlBmIYpukXNXTpl907+QcGjTG5gYz7dSpyAUy88cyhjFio5GaHCDRSyFL1d9e5dK0/m8cHAKT4YvCgS1D6eYfR/mmlkdVVDVWvoCBzVZF3/EE+w/u8gcp8+l5xNWnRuk4Tbv48QxvapquLzPQrA9TlPefn74OG0cPowYZG/K/N8MeZlYWNT9sEn5i0AtxjA3TEsIo9eWkpTpQdCM3HpRm40TPxnWd3h7qs8BZQ2yQ+Sg384Wbkoch5yzbsUBjUA8K1mKk/VXiGcaeUUzfcxYAj109klPG5yAEjbGXLCWa1o2McukjdFusC94O2uAjh3TDJaBJeVwMB3U4pgKqTfarMK06pOdAekw45aRSZl8GbvXx4oqz8j5d9pcNrhroJe4OdmwNUTVuQ0bggBQWVQwrvgukoILon+00rPPjdqYRMJCTxhGHg2CMN//KbHIth2ATkkgsA2UQ999PhkYXCwXWdmZ6PWdxRSkt3vcF0xBqcPAX4Gt1stHQdXoKqWLgrp8Hfey/nmrRl8swohvmLzppkDfKYsBJWkYxzao3474+Pu7DaPFzAB5CNhd6kt0X/lck/d/H8WKaNk279b8gH701odjX+uELA9/AtreTCGoKsJgJyGgQsYu8fr41r0NQ7y1b2e+cpIvpF85cK4w=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341723

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

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

%MAKEDEPENDS%
ghc
uusi

