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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-84

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

%CSIZE%
265320

%ISIZE%
1406353

%SHA256SUM%
1093806417b8b0c45a339e254fb9e033927f31f9732c4b3b55addf0fe804d909

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEE+IACgkQeGxj8zDXy5KZ8g/+JB+z4MVZjadZ8ItHctiOu4lz9UjMscxpcC3dD6a1sFOOSx50t9trBa8uSok0W9Jq+Y+VRGrxnngsursuq/PX6hdvzrNj4k27WCVT3ECf8a7aIv51DmdvpYCEP65O813AcZ82LVBscc0TRSzNuyTtuPmnHP76HPYluAZluW2OaiR/peUCGxaAtd4s6AvqnfwfegrV7WsccEsw0Ez2rArmEizpfnPMuCASacuz0YxDtXxWB2JdzFqH8fpiHwYRucA/HLyNk4L434RPIn2cxF061uo+VbMKAS5A8LEjmuPaNkC6/fWM8RkLBOjmDcxr5FLvXbhIs3sWXYvLMcV/6Z2zoqPLZKm1yScLRg2C8HmDmpIjYRxbQC2OrAfX8hCexIiP6C0wRddLy1hIZAt98Y2IAp36r5K1Z3RxkAp4hh3Jb0CDtyd9DjWSouxOLOTLLjmayp+Gx3umvgrl4TB4PZtoq45HZu9ulQyYwyWxbmvFtq880IZwpy1tlq2sFdAVe0lwd5AZ6sbVcrFcMG+I+rGAm7nJV+LHL1malJ0ifL9KfLXE83qj/BkeJsel71QltAHWLKHQnQJ+ZPygurvstaTd/ig0taedGS4vMCf/phoPhgtgFxYjmjYNe46myS7TKLmh/7hQvxaxqEXzxDM53FGknmPKZpEB3NfTnd9V2cYNwKY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791235019

%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

