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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-29

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

%CSIZE%
221824

%ISIZE%
1187698

%SHA256SUM%
390caf0c7ab42b04354fba846797e13804acf27fb066fa3cc8871ec28e28f418

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7SpkACgkQeGxj8zDXy5Jq+w//fB2/JXdpEZBR/T2bOaatnVuLbO3WmzOWdwQCNEWEV4Q6psFGSbb7pJvLBzdVy/8qPLt9KNqgfMvB84Mz7VS/aoG9qDmerQjrbt4upL8JQfpg30xwYA+mw/hKFvgxRWXwlBiOCGvGV2okmHj3ARlOKmjXop2SFUpilQ9cSfttLP0Z9WjUOfVTU5XNSnPhPYaIIInVqt9+qQXqVkEvqwDltlSsVyFcXI878SU2/J6zMUUUhrMukLUqp5M18Pf/NoELMnfTy+23HYqt8KfnBOOYrBUXhETIzuBi8G3oSpNwWcbiR/Z/l27Kzi8kE2DPknyO04Dys04WgyqSJMLvfKyqw4vS5xBGmKzvK12QLrxjDNSOIIDbwhdd3tuStKunikCbLglvtHJMWUmaLtPpbBLcgdg1letznCU+W7QkEa4g+rkd6XWJY9A+sVXBooICPU4Ag5Q4s6vBUtKb0BZnXvdKfUfeeLQeegYdmSKTHRVaVuoRmJpr17l5bZtWJBDqN4+aU2Kk+MyBFFIZUgG1b5mOZVKhRFPL7Ws1/6PcwvjWK1GV8FPQJ5+EB6L64DCVv4YUFYHmDogRA78wtlHuSstVltAv9AeUDnJq+93EXY6AknXKOisGVVTrHI2/xzn/izt0xXsUq6L+S5TeuGmuHHnrHS7RG96QmH/KHKj5EUqug8s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778076293

%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

