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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-143

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

%CSIZE%
194781

%ISIZE%
989865

%MD5SUM%
cc5c18d58e5476ba236a2209e456a787

%SHA256SUM%
308ad2234e65243997d7662613d953f5ed2543811520c602a9071d505ff7ae5a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHMA4ACgkQeGxj8zDXy5Iliw/8Cg5KjUnEbTah9frgqHhBPAKkLegBm7jqnwG1eRyJFPgDCD4rY8rCEB8xWaKKRLgZtTDJT0w2JzOPYi97iblzleRLzRRJRoqxUWdIJgDw6ZZc0rZkfS+bq82pba5d7MoT5r01xzZNHR12YlqLqaCgUuzwgbk85to8HUioFGvhrQdg8kYWlejh0X4Ryr/gHJKWu9qv34eb0w8/gDuL7C+oB2TXk56DtzJRv7qC4t/k4hPt60bAgUYDBdYPs4wu6DyTiL1yR1Bd4ZuHQI0B/MVmBWJYGz4u/llxwt82ML2ozWF/76fQjoGVd1lFRZeKoag/WmrKur+Hbr5jlbMF0iWEkE+kejbZ+ha6rDighnQR8WqVP0B1Gcw1VZJomiYpbyZPMlNq1eG4QK8A/9IMGYWm5uoc2N/T2zoVWk5LxMNCMWjra/qEYK4W4r/W7waCYF/4zSVhlXhCrUFQ93XwiUlSwEW7GptEfls7djZSHKeKyF18uQfbBgBJDDvieZMq8Yl2JaL+8mKd3zs5ppoLrS+2QiF3VyXpBGkYJ8jG+lgHULkY5Qjvuuox84IaVLqQ90l0BcHgRqdb7PvvcY5e2xPHMNgVY6+XYTXImUZAWncfiUPb6LAdLdd4hJeiNPZCYBeYhPQAN9tvpJGREN0vmlCGE0J3hMIm+MKkFNUny66Yovk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686581237

%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

