%FILENAME%
haskell-tamarin-prover-sapic-1.6.1-107-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-107

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
194974

%ISIZE%
988852

%MD5SUM%
04dd337dc1238a3b76aa9f4b05aa2d9c

%SHA256SUM%
8e040986ee7fa51270e92d3148c7d4f62d2cb4d5ea14b350f48a91d67b7f717e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN+ncACgkQeGxj8zDXy5IfxA//XkpUyLm7AqpypuLKDOXQlqExfgs4vFrXPH2hZeHoYFzaOKPiYbaMx75SBFzNU3XD1izkBkvYK5fKpMHGQmVPGYdEWQ79+YqSH/vGRj/vhDqtL0/EVnZXdFwwumT9HIfjh3mzOmlYjVFfxeo6pZtbVgOvjCKu7c/Rsakzgjrt4jJMEY9kWhB7rdMUBXwVZ1LcvFNkvEo1mHl/uWCbaUxYoCi69O5RjCzpyQxWPC38FzhdB3yPfiNEu/BPm80m4M9NrSwuXFKsKhqziyOpuzoE6hKB2VHUdYwM5xQ8m76rXvj7i5MoLhezn6O16AIQB2jBmImJP11GtGF04XswP9mTjakXzGrL/wlMWc7E1jEUrdN5Q7sNK3W1BJORdHCsyDA6NveSYnB2vxrMfjJa+bK4uFkPRzAUTDwkzKSSF3L3IQJxqKDzBnDxwW4bOZYpooJFmA9uGnWjBXxQ3rwhickbyXWPzKflEDk/xXV1yZUc+5CRkrviEHtV+V0io83kYbZH7GxWwJnw8yKFzmdSynp0Gej+9qVbqDdL+g74KEeBsz1Kz9yl47H32F7j81Oc68tozDRkEGUPevTnmOvOwKyALxvtWhTP9YIj/2srsKjSfo37JWm+EIvVcMgltLaCzdv9dHQU8ynqNDyrJeepBOfRp3Yo2AWUJ3S7qeJZ2dTNu58=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666054746

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

