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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-27

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

%CSIZE%
265225

%ISIZE%
1406402

%SHA256SUM%
47a2830b00a5f8aab80c4faed1dfda2c24fd2d742e121255b7047090131aa606

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyIkwACgkQeGxj8zDXy5KkFBAAnPGgLRnbaLVRg0QDfRJzZIkGVo/w09Q0BeVo2GUY4B/YtsDaTHoQa9jqoNjSfqthXwSMiY/FUbIWOkOSnpXlUTsLiYq0O3Nn0nO28lIiuGh+FmzkZouW1fYUTDcevk91hwcoKFNkSAzIWRwGCCJVJZ3qJP/903UFh1GwxKNAjyqZW/nkAspxgI8OGuwNEXcIYhjp7s7Ct1eeYf9E/dTB7sTKp52qH0XInx9E5xc/pPjsTsKXbvcoimLVovsiFsryYFKWxTObsVyA5fIrh06+bUDzoqa5S7QFeHbsQFA36esI6q1Hk5LTuji2jdxl9a4S0N6ywROKsbJ91jSgspJeiTTww+CnE1ufvwu83vT+gHES0kq4vvLC2zqc8fiaK6PUnUQJmfslaMqw2tYZYQhXiuMeOFknMXSLDranAlv+YlToyVBILL1KV/pUw5pyplbEHbO5Okbxtc+FXThLaChkbdnZUGBz6x7mzb8lqS/G+Eeh5JgRgXc8IRc6kZji1hqLmfjNvm3bpUb1n67cfybRdczA0Zfoy7QxFM7jl9WQcnQtDaF7n7SdZ2FY+X6MMKee6I65b7AfFN7SiRTKMs5ovB97/UDgc+GVa72xJMVo42VhigJt5lOqualU8UPUW6SGAsrx9GOkN8si4IZM7HWCrji+JeDJW2gn5xS3+RsJJ8A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777476143

%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

