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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-38

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

%CSIZE%
265398

%ISIZE%
1406456

%SHA256SUM%
63032b0833687d00d0246011c2d88367b598612d72a00e58c6b254a64a15e5a8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmAsACgkQeGxj8zDXy5Ke9A/9FBEG70ogDEMvrWameD/gnGL4Kk09kuUk95JxhFdIO3Wbao/XIlrDRXKQLRb2iRIV9a1MdIx57voKMIMdO3ig+gphRlU+NnZFuY99fEehOHXF+FPIPTfebqzXVw/aUs6wUZA1wNpR3gNINU6aM5/6KnJjFTrUr2n/AAcpO9IaIxq33Oy2KQe7hEIlSyLDMukygnju3hLc4sWoGeXxbj6yCh+s7b8kkwaPwuRz+bK+HIHS4Cxxk94cB2z0kAEUE0v54bKsqS/j22nLBvJFKHjLn12vbLNxRYH4Dph0IcGIYW6Au91euJAnOCoarEJHJCf/Yse8jvSeNgrxhFVc4ihpiSsGx1XOPX8hAAjKcBOMIvZRVWNcjrlTKhgrewUeDE1DRl9izuIDfspB9UFnW15hq2xo7L1TvfdvZklOpvcOzoLRm5NeqUEb5rNtGlDvDPPqdLhld1Mm317DhaPwA7ZZHIkOXSDLPFjeOWvLRzlD+4woZLTIeg85o61wdXDA2oZVqHbztsHW/UseUOq5J/4JT0X/Ov/Hg8hDGk2+KB42WrpMH9vUkHiPR1ta77uxvuuEQWfEKkZ/8Rb7uK0DoCtV8n++okBOizARAqzt+IatLgwtearmtXsazOGDw3uMDu/8lpHMx8Sj9wG0jQ0HvUs88dBxfMKWoFxxO2//jRM8C5I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324327

%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

