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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-46

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

%CSIZE%
221897

%ISIZE%
1187712

%SHA256SUM%
453fde00d5a344567388c888db6ee094faf4b52c0dd1b194658b18dc0d7e5278

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3B0cACgkQeGxj8zDXy5LZQA//d+3Te8D2WrpG+fDhzpfPWt9SYytTTd1x/6msUYozq0KZBHk/Lrg1DXomZHUfgSUKndmFIJpln2RsRqeV9q3bwlbggMT3g3gxnq2YX4apTdCAlbFBKaF8nwb2ZwQjM9AabbQLif/qQvzkeYtiMmUIXtrutwKu+U148qkje2ebdo8s9JG7XXETroqfnkPf/EnkihUhcFmeY6Lq2z11qsdHvIzP34TJr8P3j04gV6XNudzefjtQKMKnRzi0vn003G9deUDjK8UrVj/Wflv3EyuXtLbbH8HWBFBoj94yGzT2vJlq/bYrLNDWAZa7/XE9FBTuwB2QWT13SDlgvoREaN0IKrCk8/dmWZCCkeLdKkO38K3bOmd3LtbQtCkZkDlw+GwBINQKFcTaI8GxeljppoiF3FhDPsyNFtyFiZlXIYma65WIPqxYVswrbP6wVI/8P3lfV6luacLafEPHOXlOlVxlvDPgJEWDc6SfyhHgRFCeKbn25pCEcGxq1Xzonmnaj6wq/mZnf/uCniKNy9HCa28jmiiXvs842S11ACXQXccX9e5+a/bopgcBp35HrT2QBixouwau9tq3spxf8xC3t2SlhuvySkPzYafMwJmNDtGQXLXVFAh0KM+jH5+rrBosuKnJhgJa+NCNCPfwmJMzOiYJF8TaYPNSNOYOPZPMiGr/UM4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781991222

%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

