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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-62

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

%CSIZE%
265211

%ISIZE%
1410335

%MD5SUM%
16239cf47251b26df0842b72e668ffb5

%SHA256SUM%
5f5066d1a29d92b061dce27eac3cf0df48543694c648d585ebb5a8820863359f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpFe/4ACgkQeGxj8zDXy5IdfQ/+J5bzibAGDRyX1a3bfUgf5kPOed7koGqh+DjXxozWwT8fq8m/YrcIt6EGXc17eBilC5dVOHquTe5PH0BHIQSijrVnrh0vVDhXAzeIeZvkhQekQLKM+nKVxhbYizVJa1rRHwgft98foA3wcy7dO2zxPpV3EBZ03G+cBgo/LJV6rSZ1TY/xyN2gUsNRmrI65qoDJZ5D3WWFDFVdHj5sef/u2CpS4TheCXLaAjZlYc7TADDrdVzXh+z8sz+D/5GEhxOd3gPRpnNn9M7E6BHE57a7JhS+ndymUkPfp/kyIdUGA/rakLrMqBvFSU2sYPaJGU2+ckOvohRkPXPyostPWym4gPUxLyv890aOYWdFRgKK3iI+Aqya+Hj6CvqdGfn59OjEgiT45jiIxpUFxuYmk4G0GIUUbkkXeUAG8f35WgvZTTGC8SHorV9ptyfXaucqfVPTt4iYb4KHRt6+olT3LbzuHjzgVohYfxhDS0BJcbzmkYT5vLO5snsn7Gy8el3HELz4OCM3k8s/lZu8BGGY5RiiCFlEdm6dLLdB8nIm5ZzkNJp84MzjGxnce/2O7A/zkbs3/ACbpKhlyK7GNdToECfagrNIR0253PFn+W2aY+S8xFW69SIUKTDLXYviT9yXmKZBz7G9lLo5FMmq8MPwLg0t7zh3XJ+8YLloLJg8gxgYCpg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782938585

%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

