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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-26

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

%CSIZE%
221691

%ISIZE%
1187681

%SHA256SUM%
7b86070b2098c04e5b1bbd0efc2e119498c34940c8a296a61644a33c05e3ab6b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxJ2UACgkQeGxj8zDXy5Jn7Q//bPUQbxVfT7YUMJ8+jpNytTs40pKMuKk0N2dB052M+rIeu5/t3T9BP39Km0VsgioiSm3u9Yt9RMcdvaiOsHZySYqNQ+mkxCd1xQ1HwCYrBu/oFamjK9pxV6NrRjkW/v2Mimcffg2x+btiZzDS/Kych3IMOsvc4cC63plVHfUnhyPbFPEFhABqpMGG4aVizLK4cscnGRFfKpPviSZkxgihJHmmaiLxqXQPx7moQmxD9BmD4BFiWil6zJt6PtZJxWZcH4xgICm/2ivAFBDBGWUU7c4hb0WO1E/mYvEdndXOz6SHXpbefhEAJfWUzA+kji7Gf6qcvZVl4HDxh7hfzOzu/LtpzRKe60uHl2ajdPfVFETydxFDMT/OUTKOCguzjXI6Ij63s4AEpm8ZSXbp0chp+uYHogFE2CwbBa49RdiMY3e+MAhswgvqSQJbHuHh62RhB0Zelpvte0/pQzCfTrqfMgMk+RGFNKz3Jzv4WTmqBAfWmH1vaUM2Y7rtzfy+oN0Ol1cYp6wgeepZIMKLMLyuil4o5HvEkCblFuDMZB8RFyYV8FYZ3PZkozIwZqZ26rhP8oOBsyaa3U4/MHwxXvv91hlkqzFelzvo3nx+AAb1xigIGVMWYe7VpikABY/aikzS7v0IyJYUCPFNqHoGWdZSP42ZvspJlrzfAtFGmIDMalU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777411923

%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

