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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-86

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

%CSIZE%
221522

%ISIZE%
1187693

%SHA256SUM%
18999e3d820608744f0d9501a4f9418b7677a9fde68dbe4fd936aa404c11b168

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHaboACgkQeGxj8zDXy5Jbbw//VKZjuszvwi2WBiG6NtbwfdHcIyzqDlTwMWljFO4WiGzytj/0lN6mxlzJVI47oSdkJlw5iVDxW7NRzSYeEfBncs0xnSzsOu7Ml31s+cnkJVSjGJoLPIfU/6jthKLm4kldilh/YcU9fbjSlNR7n3yF57vOTuq1vlm6lx2TyK0LBjsh+BRmCJxE/vOgK1fImI9T3NzPIwout8WHPNpE8ZADGLW1sfdIy19402x7jpWrvZ53EjkGBVdqPr6euJuBKggyK0+OmSc+L6cvHpT0owzHjATPwS3D/WiCBqa+ZQFMIx0UnRbiKgZ+xjRmQ/VSk3HbXS3cOFv+k0YvzzvoFJLKKhn/u+laPDk5BAx8G0WCTmf1aaVbBrrgU4yxc4RLF6aQmw3pTmNHjSwwQBylLP2+/P+wJk1cDo8NfBLdmHcpYAPXTrQw93JRNuT4UpNZjinwhzKpecsrEDu+6XsvJx9JMasHOAkkIcG4G4gaYws6y5/Dg7/gizJrifVNVDhNCWrHb1+F34F/C/hPcmtiQWByeK0z+ibirALF1EEApZ1f0DAYnWIUL0BY4fKei0InjpRFkuhUlgvOlZeHuz5Beqdp/wgZ3RXWhRci5gnhXWiSvIYr5PJR/yJ/taY9qqp+OQ/RRIfegg3vc+zWm/LoscGUwRMkWCVELSBQRiKdhrHsuCY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791453592

%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

