%FILENAME%
haskell-tamarin-prover-sapic-1.6.0-103.1-i686.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.0-103.1

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

%CSIZE%
160011

%ISIZE%
698559

%MD5SUM%
6391e80aa1879de96020713370b07538

%SHA256SUM%
b7f7a112988e09f878386fcdb292627e12c9d33330354114a26e89ddcaf834ae

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFBZyAACgkQyOj1oK+bp+dfQwf9FAZ1wgm9F0YU6ZqN9uhngD2oHIiTEEzQHsNCVOu0fdZwUWsYzozRo8VozwoBgmOaWg9U9iY0PAHjLj1SDGmsGoaVIVNJweA8lV34mhykGq/UZVmfibW/6L60+6B+37gA3Q7nRp//IeoEgKZRH9hMAHvMXfBlqdPtEr7b7s/AjphIOZXfwuJ21KXM0J99q7vra3vvTqJDr+JoB/3OmYRirSSpehSuSmVllxE+EbrTS8bfh8L8kOzHYHi5P/nP5Z7CGyRh7ouXusJfylQ65gNh1O3TmbQWln0mM3sMSQo47yrx2reMX106McAhOYNT0cBYfKsbo7f06zNGt0pSiqCXTw==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1631676157

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

