%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-63-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-63

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

%CSIZE%
265356

%ISIZE%
1406300

%SHA256SUM%
a35fdf08e31566170b4acda1c06e37d1bdd09e476592d2bd648c8af1ce47de3b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHy4ACgkQeGxj8zDXy5Jpnw//WdKsGAcvWXVg9U7uSZ2VX+k6dWuFYxPYBHxaGl36fnmPGayOBQrn/GAoMRSh6HNdqadFrm/r/4G6wKTw9JbK2xT5mTjCO0Q31yCaelubjq/EBe7dvX2H6+fvaQob9hW/zHr1cIgmaJCSAAC0dj3q0l5RjkXwRhRkYR66uNhbNjIgJDs4Au4e98lgGzgLZPxHqf66/kk6e9gGiQsCiqbftLCY3+RkhK3pL4cxRl89R4yUWAgll+Z8n5RO9LGQSsWFgUyElK2zixOYaoRH6DGXz78EVeDdsVidF3QJ7+uavaei/56IT8mJCC1joyK2RzBbgSjKgWqbNwJI6jabIZ3s5qr8ttwVvWR+C+v5bVl+0NQ+zNgWV+JeNwA3aLP9xs/KJye6Co868ycfMxk0WAWAX1hVrhVvE/Rm7FEaP3AUfSJQfiO+I3kpEKi+24Eka6rWK8ic0HY6d9miieRfcIhLHhRVcXG5iNPBkheY6EMdDOylc8iNIefgTz7V5R0+BX/9ShJL4fxSwHjnR//S1zgDJJOhu1BiQNwFq7YotKIGk72ABOFyo28i234Y6Qlwfk6pm3YYID6PmisMRlmDLxETnzmIv+vG/DXBwI28LijXGwrSi8E5QrP2opFSkFpMQda7UO0aS/saO0K0ioQBDm0MoEUsczqASa5XTeaJcNnoQB8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045916

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

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

%MAKEDEPENDS%
ghc
uusi

