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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-59

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

%CSIZE%
265331

%ISIZE%
1406213

%SHA256SUM%
8760be704093e7ee8a69fdec387a7872d04f0f01329fe4bfb36d2a82ddbb8403

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpCse0ACgkQeGxj8zDXy5KufBAAoMEEWknDlEOJrEkWgCwj1G5I7WzGMRjxFYfaC9SbMjN9VxsPBecU7k6JnYfkCWyIPYebXh7h1epIBBFbrJ9i9e5YcSJGMDValZBxMZK8ocWKg00wr7j1+jqMf87iUnBaycNib0k+iwZiry4fyJVgMA0VZaxuk8Uqmb1oChJj6JUO/VKSbgctQWCi77mUSi3TAUkbwK5VnPpq9Puz18lnGGOTkEoK+MZxiNCax2kbNwGZYOPc5hZ/7goJRaDSL/7qeU7AtNf8P0izxgkZXe7HKtVnhHSO6b2HHdmRFTGmAxqjJRXvRej3nQC9za0/r3x2Unm6LSEnsP9ty3AS+H07ztwscwM3/fkiQmdrNKSPwfDsYoKSSL3DgJjpjDXkLVd0peUvlI1dyP4GQ7tYhhwHindp0KH40fDBJEPgZCfFUvJIN7CR70xrbAWB/VLIIc59RX4kL78fsweCAuMxm2DzaIn/JXekSaNYKetdmbMbxujdbBRAwK9/zwEqb96LwFj6gF1MpdbyPb8ufoy+HS8BBUQaRG6tHw5PvqjTN0MNVLHNRXVnAQyWGswJighcxoQ9JXCLcJHDA3sahy4LIaraT7ouMrpxxROd3o1pnljUefrfn6iVdxT3UOBBBiRrRZTmKdLpOtOg0+d/7wzDfiuLW6C212hYFpYPHgjoVjBHfrM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782755785

%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

