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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-60

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

%CSIZE%
265327

%ISIZE%
1410351

%SHA256SUM%
212526686e1a554980e12a637d29e178a44576827fc81d0a9893600b437106d8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE3tcACgkQeGxj8zDXy5JI1w/9EZHIyjAvIRzdvlqGSzl8PA7UgA9xXjU6RBHGOqLn91s0Ltku3rL5MWFLKyOpQ1tanuxYeRAkTiaPXtWpS2FZX/8F9tnKDUM8C4bSbTyixdm3ywG+ejTYm+psfNPkYwTrcBuY0fXm4b39CAGWPX030tyPzy0KeaVhWXOLTfln/oJxsCTChX8jk7AwfkmWot818PFfJeFNAzsHm6SckF6FPimdDY9Y3n0SQHGXnxuyAkg/3xjC5s002IB+wo+2oFUhCRi4FAbOaRsM0chGflnRoyS7KDnNqdtrT6ua7k2o2XxaUI+jri7V05Vplg2HLN6t4Uzh/xy8lNTj526XUzhKfFzqqZHAXiDqjUDVBQ8vgW2kpY1oNn5BbryXqlBCJ9H1zXjh8c59GnZDxRpQeotqeGz5gEpSRiC6horg3T8uMWqa6nmlNPD8xRgVd6zOkwscdsNgCwJBFab71nonnsop9sKyQJ5SvtPiQ1T5fvglvR5lbNVBnyhDvGFPRp5bQxuLMMey967x7IcFyIa0jNDizB1rlLx/sdK5/FITwJUuPEogb9bAvuPBmv6nFFcqdoTy44hSdJ6OQFrzvUO6uOpJggj6DSpkSm7OK6FAJOa+p1AHLQPDVIklZfj7XPLDTzXUcxEjAN5JQCLe1NRyG9EKuTQ59pMBhBZRuYo/j19AT8s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782898361

%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

