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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-47

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

%CSIZE%
265316

%ISIZE%
1406278

%SHA256SUM%
4fa4d3684730188afef94a16b73c9c07cb946df29173c3b2c2854a161b39fabf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo34o0ACgkQeGxj8zDXy5Kv6Q//Szef4e1ffDGZy6c06gGDeLU6VqGk8C5HyfUOKqCqKbyy130dEywRtGvjy4iq2+Mia5Eqa1NUJUYC9YPLXje+Pc3rDNoNzVhz20tLnhCkXHybdG5ISdNHzL33qijdFm9SXcbkRv9qHxbAWdv+eBS64w5P2Z0AfNvjemrVahzetwo2Z9c5oWkT3wfZF6i8bdhnjbOCW341UQuDUVWb8x+rOqsx93PO2XPwsLAEy47Ro/MtcdH3qcbq1kjyPs8aioSngDfW2tmRzFp8LBd/fFifyittka/cUU2HnveqtGA+asE0aWhSElyouM8znJt1bnCtVLFL0EtpyXi/63EabFXvJP1NiJo4sa5DyriIkn4GWBzn8bVC6qE3ldgz+GeO86332USbQlBWztL/0Wz+QPsYSXibJXMhbGxuC6wY8/MOI8MokHxyPKqzwGzct3xIv7dkPHEe7n9JFXGQaJyeDLsFhkwsCz75DqZy8p7QXbP/MhgOvftWclsHMOPj+sb6y7oodndyISpTJZ7Guvckqx1qLQVe9MgtHU1Z/w/+lrCnpL7ZslwhZX8FLVc7ZQqrPC7apVG7zxBfw5xLJ1AjzzOe7sF0WUTIMFjgCnlbo0dnkBmgvyInsZ/1ASyXa7LVxPJXwfv1xue+CFMq67Mq8k17vNfKpXJEFBYSTlVyHVGOqR4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782047356

%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

