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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-49

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

%CSIZE%
221580

%ISIZE%
1187737

%SHA256SUM%
7a62220b49f76e21424d2fcef96716260d6c8cf36b9dfc3ddf783ba77685b1f5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4vD4ACgkQeGxj8zDXy5ILgg//ROWbD2fppp9W3S8uVwNahvWn/lsJ4R7OVzdsw+zj+6HzqyJYHI3B82Od/WXy/xCdSeuh6DpkzlU2MTdeVdv3vcr3V4YHcGEAQsBIYN6OLAZ8+44iRaGh1rnFUCAmLwnM3dXNSqfVudEx3rlkU4FSUGjTpvvQMTITYXi+vxOAcfmilUGC4Fdoa5wJu7pMLfSzQjFQQouxYrSBHKHaGXICHxm4dmL/KYAVc9UtDilZwYPuMR5uFveWLSMIoNPDScWWi/849Tumnvg11kicrJYkb9VTNd+24clYiB44bAKpfexoWLlJwLUrhgJnOVdksz/NOXv4IkIOcM64RXNnMblovOoy0bahHR/+TZ6f8IOnpr/CWmwzcW8a1YJ/seLHuairdkLoBBi9mT2BeLEcgTWpyzc/UPI1TrYoMbZw6U8avDycg4Jcbrv3jjAFmhn02jr7YjQzrhIhXY1nkxRq8giN2AIchPQ87qgBx12NpOkBHurhVg56aQs9bpKtiFGwXeG9fSeXtW7SI2GSk5u+nw/o/Te4ds2JmZsPbvGlg4RFWWVM76UHaqcDKkKzy7tMoqRpOriwSye/0uwn/35BX1j9G4PwY8X1i9oaN3ETUGQbeL2sCX/m176yv3/AXZQHeK/or0IzsbPjXTzM9U2CPK/ogBMXJFKVDoZ04IY2LK/Ohhg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782103068

%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

