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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-44

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

%CSIZE%
265337

%ISIZE%
1406245

%SHA256SUM%
3c5c3e99bf0ecf744f37eaec2db266e6601f311c26e4972a12eef0106fd35834

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1itEACgkQeGxj8zDXy5KvbQ/8DFuPmNGVLhZdcEu70kTNihDBsSITSIZZcxoN2kegNMdYLILs41MhC5DnBHRr7/jkY+9vGqlytKOHY1Nl0uWq/ReTNTKhngA4obzyohQy33vbADrjCTZRBYCLKeoUzoDgJK/X9i+ryOTEMVtsUgobI8LAmYNt7H8iSd62k5I8BK3NRYzY4a9sNXLadZebN+dKPoaIY6v1Bjao3nAICJqm/OXJ9+1d6M6LRu5wI/wgdRSRwwtLOAitTS+M1OMIj+kZUJpcdovLrcUhxuuqs1bIESNKcWVjEoSrADuHGtnAwTBRl40JfjVZHbGFaDRxykndj08CW1I5SKFOwi22ffRd5+IyskM89lEi3Czjgu0jDzC63FQAtHHt7gfj7E5DgkPskSvSPP1gK1HwxyaQhYjMbBcZljM0Au2SzaTcqwpvuYn/Oqp+fSV0b1AawA3j3qW+gz0JJ9K/+tqz8VvGi95+pYBbw7C9FRkSjM/dDSOhmU+0k+Otii027e9NouasBJo7hREQIBX4Q8Fl6EHe/MrxgZf0lF6bfOU3MyxtTf//nE6GQ9eci8uqjwOyT9jxQgzzchrtBWHcEyiug/Gn2Cq2D06MRDK7kyUaJizU7kqjo9BszGkvq4cRAZO0ztaT1t4z+oxTlGiTw4gEThwHNhUhJyuOHMDv103Msy4HwPXEoJE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781893823

%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

