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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-75

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

%CSIZE%
221662

%ISIZE%
1187698

%SHA256SUM%
62958f86acbb30fb644e4ab0a525d6e64692e0301e91306dc7dc03384988f78b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq5/qEACgkQeGxj8zDXy5K38A//YrZOeAY2UZVudKoTHR5eeltEe1IMJZgK5sYZ82ZgWA716ePWUWR7C5TRqRKrWNiPL61Dxz6jrYs3odcxm+MVaDY6+Kmw4BLz0R7Ih+VSneABgUIJul3S/1QB1RAiIa4zOgHacIHi7+e+xLgHwBioSX9Oy5jaTDXdCrnlCQFR9M8KpmttnrT6BeR+a456YgEsy6gfaI0nG+hpVr3TA/Nl1OrxcaEPlb1TmeiJrlWL0fjq+9QYHM6DUwJtuhnnoJVjUI42u53pec81xAYRFLob/3CkLuFcedtK1PxZz4PARQR/mS+M9ETcBuZo0Y3Ucxemyn8AkxHYmQ2bdlzzPFF2vhACL2G+YK8QSTz5YUw/FAXIyotprz0kZFGzUAOLytL1N1zbGkKqcQAP2UhLBDv7kCJT0eF6BMPT17cqV8hHDqR/dYZNFEWVeOw6jcfFKTpD720b6Vly570AYjbgTvHCTrjUhULS7/OWb/2uoonRmHP6W0S124esRfV2nVwoYOAusuayZzrGspX6Imgt+i2/1LkQhLfKYz7KrJHnhzUQ8mkqsUn0o8emTgvRmoRz9zh1Ww7O4erCI5/9HAkfXeUUwieSsCxba2hjfQnt02D1UPfgF4tENzgOq37UIZTF2pAU+rHfjAX+T/iRLYWQrXRwa28CUeAxq/1Uf3L5OhheY64=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790574170

%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

