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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-83

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

%CSIZE%
265687

%ISIZE%
1406330

%SHA256SUM%
820e699d99ea97e9c43d22aca515521fd731f5742843720a7997dcf9c94053c8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCidwACgkQeGxj8zDXy5IlLBAArrKynRav907ofdQtsabalOpnWnru07BGv0LerfJx+P8xmSZ8tmtH/H2XqPNrQXdafRxVceD0K40SWSrSpHz7KZnBXpBOhODYohJOiY1g2f+bQIGcQOaokhTlcseEBnHgELk+EcGd3jLHFCwF+EaoKb23eE/LSjJpX/LBxaJqPHwCGnOitsq+2SRNCJmk37S4smOvnM6yl4vrGrC9Tir+rxnD4HFZkRsvY/xvb5lmVs0ebJM2z0sa4OVSg9UcHHYv7thS3LmabdXDerG/3590CzlJBtiPylzJs8YgiloMbKSpQLtheIr+CUkNxxSlxLphH2QBkYeE8cEkKLuac7JzYEU9uCtG4zMRqxrmkcPMWkjPMm2/DW6QHJHOEHwzd90yJ6BEx6guHWXeDDtPEHm+AkRawWuXuS3kQ3lwbAHUoIM7SxEAPdX5acUpFNv8fxnj0msJ8oyQ/iXS/J6lm4csxX4QXX9uVB6Pdg74Mhf1G+Boj1AEp0IhIMv4gndQ+P8J8TD4d3CAWxIrJYW3wWGTnczvDHWY4bJqE8V5PlG7c9BCoay9OMhGKKEfs1kxSqaxqvjK8wG6ALF6KrKym1VKseyKhCqEz2SV9UPkLdeClhHeB8m++OtFQ26ruCi5XLRMBRHVeqIwNieBw+CntVal876bVGGegfcr3iDvGsQiqVc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791134149

%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

