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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-45

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

%CSIZE%
221667

%ISIZE%
1187664

%SHA256SUM%
a5f55c40e1c6a5c878626bdab4d22914361956b5a8bc65366c0470054ddaa8de

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2N8gACgkQeGxj8zDXy5LToQ/9HRVjslQ6jCYI0+bY2ZoJarOvQO9L7mKrnCb3YK4j31lRfdBd36B56ZdEnjbTdLf5eBBlXqxotfEivjfZoOIJPN8mMpA8+gyh3c7zUZWbGS83a0NObZUtiIEMg89iVTKK5D031wPS3JJtIXCY65D6ckQ3ai06pl3V9/WVCt0XOB9FcFB7WqZbRAd66ZhrizFx8c5HqIO76XdYQ7lHjL8MKm6GZDc4la8xexDsfdEjUd3VK5QJ8njAGE/uiOM5hY3BmvO2Uf049o8rms20bhYMahC/qeRPv+ut7Ca6a4jmptZMKPDmYpKrEQDEg6WY3rztuFmHSLaWggSD/SK+QuQHWwFpuCw7grkJ3R5ldginVUR3K5RAhYDqD8hcZriP/yDw3++sy9wMtKgWMTBHFTInqirAyQwjDzcPODskKGcNoqdjiYFZ5wFcyku1BHG+Mk5zncbID9kZT/zYR1B3Y2kU6gmfqpTHaCRkxjVJRer/G5OoYrY//IRP8zqLEJqjhnfZtjPqtRa1lVvjtHDm33OUYMHxtjf2MMRCRXRHiIFv8h+Whh5UwXP91NwQgWX2WJHpdvfTw+bUxlc/WFbEl4NLzBsvVA2pkookZ5lg/3/spb7+MxUSLUwbQdQLRcP78gxQ38YXVvQMdL/+ill4PFV3PbHuaXHiWwOHWzj0jCczsBs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781938086

%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

