%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-60

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

%CSIZE%
267909

%ISIZE%
1429905

%SHA256SUM%
bf6d4ade9b01cd49d4f4f131281085b528c3236e32ea67a22bdf38c8155e6c6f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHtikACgkQeGxj8zDXy5JtfRAAgRQOtGXlBTbmTAn01hcz3Vg6fbgQVMg2M89lK0K+A9k2/PI3xL5YAJbwbEIAmEl816Ni3nrRoFYtihppORw3TMHAbP2Ymw2qIi++rbjuStnw4IcnG7HLo8K/fyRBrYgAsH7ZiWmeIVxH8gpjj8CYMdL77xtXvwYSHzakSpuUVpM+fhyKxKa//hd9gOBfPLZvAA0xFTLwVMk9fHntxmUK7v+ry/YZ55c0WoiGSrMvz8xfkHIjkLEtlIiAfrBnJww+mZk4ko1EOm3eAZqPXldKXWlL/0aXYxidJ+jwKvCA9Tf0eeoxFLaNNLUVQIPfA3G/jr9e4WFe7y56lvTKv5mDHEyeV840qoFRB6jTvGSFlqyJKJzd1Tms9FktqakooX/FYfUWH1Z9sXn+bBY5irO6UH4rBmy1Ec3V2oJmOaAWhLjUHd6jfjPUZX6bezNHTq4txBD/yDIhAnkrhC6HIPJuuLMskLKpjVONOcejwv2RTpk4j5X5JAAMuiy2iH43hq6gDmhu8TUVCJhrZ49aj8qkmv01BhMdofWDcbCoYjm30IpaCaLrlVxcGH27KMvVz2Rypwn7Oe9LxE1d64a/oYdMUcSxe4FpXl9z8b/ExnZ2PXV/lk+RTI8famUGQ1dfMweqqKdag0U/apojVS/6fa/JEI+JVSFQRoENlAtjJOiMAkM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
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

