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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-37

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

%CSIZE%
265478

%ISIZE%
1406416

%SHA256SUM%
5cfd332f7838cfeae26f7f0f6442459d7aca236c98e4e393de3406f82d8522ca

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTGqIACgkQeGxj8zDXy5J6Vw//Y78ogMncOd3Vv+gDyj8+3n2ODNcAk9VEB9ao4gIGZbI+/T95g4zkmehVc1stxp9zmVxHXUdAcgHjhiOehuRJUdXbKwtZBbjkZgJDEVOhTfo2JN7+NKRDtyyaVU2UbBsBnfCaNnTNFWTLXOye4oEA+6OshLvc6o0XDcNH6SNSrt8dyw/FU33RgO2cn8AayqgRjB/18osOj2oY262ag8TAsRQgBQQkw2TWqt21N/LjBhheA8uIPUjf+E7dYqfLBdPoNx2XNBFDHvhz0kAwqaP7KqLKrQcEcMCDZEuoxqMPUHzsVLkhaWErrCEEPZ2a/eh2SdpDGtN9EDurA7O90p4tM/aoHqYSTkMu0IIsuQMc3EfSTJuA2G5HXR5L1IQNRWriGTVZbPrDl/v88KwFJdTka8/sTj5gSvCet5awZBjbFCVu2jNGSt05leOU242+Ln8dLoCwKUGcR4V+g+VgAkHVDallMR3Jqr8IlhlflSrOeTnrlGIOQB/Bly63v87dif/t8xECA601YVfm7ASmjWoteHiAHBLko/c2kJGkEsfz4y3UDMoMrrXyKXgNwCmYoTr8ZdzVAAyG4riZm0dWl9t1P49jXIxB4Y65V2JXolZHZDKnjbz5EcmL5MNsqR1PmoelvCmUOatPjCDKYfgu1KmPWAyT8NcccRjD8+PlC7iOQzU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779636877

%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

