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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-73

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

%CSIZE%
265263

%ISIZE%
1406278

%SHA256SUM%
1f26d51ea79d72ddfb11cfe02daed01687904f21ff4a002d2a90b2f6d31c4fa5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3Hd0ACgkQeGxj8zDXy5L27xAAtRV8lypOg6AID3YHuexZwnJBDRUSvWx1rm89D88pyNgLl/lwRtTm6738e59H5h5xS44StSxHtzWdPNsv5d2avYL3bJGv6WFSbkt2XuFcnIFslGt8Rirmq6VaXhEkSIjsLoGiuCixKbg3Ue7DxjfFZxng9WnXviq1O5Unqlt+/ux5OQ0xXvLDzKqNET5nCgJ6aRl/kgFmZtThRNK6vmUup5F45/gbM3u6rfHu3B94oVcX9yh+K+aCJ/gzXb57A9Cw4/AvD+S3Xsd+fyJi9s3mJd2VMr1eqT1BIhQo5m+KqOAbQ6xsB0K7X/yS1oAp9A6D0MTIirDpPEFEHS5AuSrQLgfGvKaISyViFmJ/MlM/iiy5yUOAT8Lf5eUDOg9yoTmJjB6op6GnNRYaD0vijfQPMiE3d17M/5jKoLDRmIEQlvBoxQApXmG90cMpqAz7gu/Xg/U/1g4LEsTG7g882eAKCUYcOMIvx54mf+RZyWjHDPHD7Ok+s1KeaNu8+zgRCIKku5GCU+/BRRtXIDIhWKK8E6zofOC1TnIdCrqM3xMQVstjWRiFboXsTGjCcvpIOwQ63eZMiZ5GrrVLB6wgPr+Ad6KmzJlCZIdjKwMKFlcu6Q4d8oWecqn7/JkxZl5/s3q1iNnz3vZNL7tVX/Dz8lt3vtftoaep8SNAtDhTDmgtLfs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790385592

%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

