%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-67-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-67

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

%CSIZE%
267891

%ISIZE%
1429983

%MD5SUM%
5f287950396648c820afe4daa54b27f0

%SHA256SUM%
35cbfe7191598e0fb495d8b2c9e90324fe836a7715b0a53ba4e47dcafc56694d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSQI4ACgkQeGxj8zDXy5IY0g/9E/5uPzjeWwXGkaL0wWBvdKRP4a4fLC9C9XcBOFhvyZ9p/eSgicQi8favI3iVp08kjf1yY7tGpuAsz0Tmd6nY1tITnn2afxwWRW6abdCRvrWoy7EMxR8MH/2mk1ppgF4+s9af9IVDW6fiE4cZe/F1voNbYIEv6v+hWh7bI4iCSbXXXGZ7IuLzfDI84pT+NRdfh8KnTJMiiul1BmGumpkdbWqw9Uv/0/B1d3pj5QQAaktukbS+GLCdmBF9yEX1xEX+HAPVmqhivJT4yGPEnckP+9Ztls4mq4kRMAtPeB+9oNsex+IDoNBhP3JYB/9ZPlvDQJQBnxsJ2qXi0GPODGZobTgsgAeg32hKz+7hhcYvjHooDdX78cl5t1koJxXDPRXvV9tf5lHVRhbc9VebrpWgB/yPfxAGgZVhPSlGVZvahRE1vOp4/W1hLq/bZTXgc9W2QdeT1smiuChoq0Np1Y7TZ9tzNXLVLc+rtz6QT22CbS4F0ogJTqfP1EZCBXj14LIDZXVqKmEZG+iK/UwT+7M2F13YnULNq0UuhJfxhb99zUNP4opaPAirXPelGwG2PAn7DPc1+vyl2vinR3te0dMuJ9lX5IXf1CYrMtXb5SzDKZgV5vuZ50+nUKRwhngqlJ5S49kGQEvvyBhKJFYvEuTeDVo1vAX4Z9LQyQfbp5dwf7E=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754415214

%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
uusi

