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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-44

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

%CSIZE%
221475

%ISIZE%
1187699

%SHA256SUM%
badaf8fab817d03ff1b1c0a1f2dbcd31f122cca2020b0bef10fe5a01b245812d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1i8YACgkQeGxj8zDXy5JJpQ/+Jv8tYDUAQQBAdfXtnfPNUCqS38IqxHzPTwjGjYH+Q0eEgm0Z0aMqWZwPYo1ER1wnnZJ9PNXCyQJ6Cd2f96TX4QTJkMvVUNfqsTLHHovFLlKyKd9CtUHV4Hk3rRpHh3XlrZsZsgprgSeQ1aQ9yYnSSNlj9aaFKahxB80VXDqgNvx6rlYMspBgLF3qOdHq30vTwQmUkXeomVy99ux7P9WfA3FfrHFQUTg/CtWPQg5eYYWaIkZsg/9dVyhZHeDgpgw1rasZtQUMdtdDiicRAutVwbNrwsgF9rFDydSNsBVzBVkBTHLGzFpKsAxrXm68w/eisx+rnuAwzxVaZE/39XjKk/M43+UNSia27C2kRDYJfkQ99Ikq+A6CK77J14YswnmyYS5eBOJg4cxA6MhV2esWJO/97xY5tOXgq/bxJ/82LF2UfHqo0xFpXvyD1kUwKLNTH7ueHc5PnT34ZuWvWcKj1OWh7gF5x9gXyuEhMxO0edLxyxo6VHmBDzLXcUhOGqn/I07AtWO0xk0LWfFbTk2kw2o/9jDVCOh8H10zh4aJ9cmF/+bcf6xVs7Q69ugLmM5jBDPN9P/DQi8zANBvLkAooLg0YVHK7uscT05CpVh8DrY7qVhP/Wmgsu8wUJw8HAv9Hfa8xAn7Zmx9EDXFn8Sic1KwCYvTwW0+vw3WmnOWtP4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781894037

%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

