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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-78

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

%CSIZE%
221532

%ISIZE%
1187720

%SHA256SUM%
c5303bf11eac499eec3c448752e21c0c0ebdd3d3486bcdd2b4783faeef481396

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/FLgACgkQeGxj8zDXy5KmeA//b5oL2xMF2Pyc5tpclTyjXRemegIwinZze233qVok5jMYj/LO+HKO7ZqSIHg6+eJAs8StiICZ70lV4fI4yO+7VQACj3m/uQhWHqrrOrY/8XzJltthLVHJW88xa4VbNsiibH/ux2Qth7H/T5P37iMpw0h57ZKtWuAiNp8n9sKWAoysxLGSoIOWATpnXDW/DcxT3kagE+3vxy2Bj0NBgngkWghG3zuUjzUnGBKRHfQY9W1HOfKjgSQkmE2vEhly6BJpsg1P/RxlH2viKc+moY1iopuZtgG7sRrZKLjKcPgkU6gHEfivGdTCl2ShJN/NsOiXRBKqcYY5hE8Gdm2NvZfiucKN5NnarTNi/jgdjouDNDtHy4wY3+kVrI3bKL6kIzlmJLbCOjzRI5llhvXQ1XeUrwgmiK59TeL0GY6osO/oIFHw2tCgq/ZqN9CqWAO7bqUBT/pC3QekftfQ9nMPURyGbz0JBlIoMV5KN1eeI/9cm1LFFzb3r7cPoD/uOM75IijWam2xfSOfQ9rt5jhQaH7LSe/+tkJskVhPiMRJQuiqAUKht3fBIVmPQDcxSAqfjIlERc3BzScK4dQavvyd+f42TvI88f5qfaLkZYeW0LG2L0rFyZl3qaovWbjq5F6ncMHJLhAAkxMJW4fbl5n8mAxSqLBRH9WGnvAnnGECK2JlUv8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907548

%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

