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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-65

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

%CSIZE%
265548

%ISIZE%
1406251

%SHA256SUM%
dd2e811cc52ffa85126682b69dc7fa645ba69501aa9d3e588c7f0016cc2aebdb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkD8ACgkQeGxj8zDXy5Jc+RAAqyhh3WVUdSbmqI4fZO0Zhezveu8B+aSt/gqai7k4Ak54Tsl0flZgAK3g6G0lkJfBokYqiqcA5S0Eiw9FBZLl7NExzXzTiXyMSmS7lHzWr/5ktExI5NWlFx79er9644IbaWxbBNyWEvgyjS0DZfsyW0JyYGpMDhoWpnO1aNA5medOrKzI4LuFfca2Y9eKa7vg5vRbjyphReQPqSECEAPPwT41KqwJuJX6zc+Rn16WEje+nBUIkTWmLBFedVJQ6+v3Qde1gc6s/N2Y0fpXLVz3vKSUzMNGn3uxyZ/Y2X7Yve40+sAXMsxX3gXunYvHYXoqeNVVmrCAOECkE6hgMYF2ZCISySnY4nqZQ6ADNZLAACm7BM1ArmhkrBTmgPqKPQb2Wt8urmM5MaE30lMfgXy78WAp4oVX02XPlU8/qQ8OzQ6ePoh2/eVOixivyToAc+oMSNe3GlrlNaF2j8/vSdsvdvrPtjh/qOWfjSC2EXvpVcYy+A/NYTIETESWGYqdZ0UixP0xZgNnfNoDsjfCbgBz0O/Tm3x5SnLHyhN5KiKJcNBE04bMZIERvKE9RDwLFRnAsobHo78or+QttfWOpOqvdCYLA+f3EDZ8leWvoqwuj4+kyC/HxrJUEl04KcfAfQZAOm80BWnpDH1sJbIvywzxyYRVZp0RRc77kerKf+Rj+Wk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787990056

%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

