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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-26

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

%CSIZE%
265381

%ISIZE%
1406340

%SHA256SUM%
a2c192898d59741aa0e70440e749b56139957a19ef26054f72625f2cb8631047

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxJrEACgkQeGxj8zDXy5LrbA/+Oytxw7P6q88MDZzP1gPlG6UputrL8Do9CkKTa/Bep0RXrlyVb00TnmzJYzQt3VDvsESKGiu34eBR9T6ouDitdoDlsYb5SDd19tdW4SLrI4fFrRx1zXG/X9N2Im2s9kSX+PmWIzWt97Oim6AHUo2w8Fr3/8veOXWQm+TilrqL35joy5V/uQ6FrODg9lbEUOeNKWES8pg0RaH7Wa6IPa2mZsXbAk/92FY2E/njP0AUmPhAgx43ufTOZy3xY0eX4s9Dr91RKbMCQeRjP5DEUEdge6s1DRDdBiGBgbC5z8d8Tt1z+tXFFp/12BMoNTin7AF/yKhxF34jAZg+3poItm02yEeN/CAO4hG5zahEc3LMt4V5u2WewSAMi8WVQaF20ru1UY9aWLY2kWl4RvBOB83ND5uSf5G/PQKE2ailFSq/qI/XUbs0q3qWuWPXoNlwsMY8qg3bjshPUmktnk952SlT6dOIQLrV7MDQtsLUjLRUkAp9F/Fj6MnaYMWrsId0Yl96vKDCqWgxgMlTuMqmYg/37s1Wzbw+RNu7MJPelPw3gKnmNv70Qsw1isru4GyFL/IINBQmCxLklMFmB+dpvmAFzJX2bsOSJ1hVwLaGpVOt8zeuwDcviKl/UtLKcpwqxA22RbCJB9r5NKsLgOdmFSeDqcv82ETwaIW/heBlh/QL7DY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777411742

%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

