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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-71

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

%CSIZE%
265382

%ISIZE%
1406304

%SHA256SUM%
139e4087ae03a572a82c777f1de8fc35ade6633a49fe35c92afa246df8ea6222

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8xYACgkQeGxj8zDXy5KYag//STgrMq6gPz3h+XckZA8VztJU1WULRLvG/vOnxwXjWxhUIk6RM0buPWYRvNYQrR0jA61Iawzy3tteAkIZyqWfmxHQpBuhqgjlO6CgJiz+6AFJ657Rjg3vtVvbgx70nV5QnTyJT1M1XQAUcmtLiqsv1Zw8wxU4FhYYSg5jrevZp2ez34c7oxOOpiI29gYmKZ6a8qJX3D7g9azshMPy8jdCEXEoc+CW5ca5kteslaU5/72rabmZedgJ+/8L8H9hl0EH3AIieB9+R75bgh2DD2hWTmviEkiFYEx+MQ/wKHhyc809qcjJZN/kcU13EBtxw4MjNfWYZrmYusb5dPxYsheuXIwZYJBL4xGlgn/A1CDzkxSh60bqztDTxBbrVAHW9PTVRFwkACMn3tGbGGPMH9w4whfcDFMGG+GMAxeh/hF5sdZp6S6gK4nQdgYJ1/DSEYhxpZd85NjCBd6kYhXx/zLQUWh2y49ERkCbQvjTeRwzAk7rrME0xgj78LtZQaaPEjDnmGKcX1Nq17dINL+XCVAj43p1vvz3F0U5SHxpHQ4wDABXiZIoWqtrjthotrCL7zcl8mkzaR4dzVN0tWd5Q1/1W0jqXICR/kurZ1hhJyBWPlrjB1WhHk9LPFVuMNpioWlkX+zEhc859MZD5mmaEz9wobzxUu9C6KOoKRKMsR9FL7c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522683

%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

