%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-127-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-127

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

%CSIZE%
267708

%ISIZE%
1429954

%MD5SUM%
a1b8037dca976fc0bed48a56a075c573

%SHA256SUM%
3eb496a8a43e69ac80d5c0409430160ecf0e90810c429d06c5218f1d4e6c315e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYN2gACgkQeGxj8zDXy5KSrg/5ATOEJDagWS1sx+z8KjxL5tj0X+bZ9GzfnE4r/265tN+LXzlc8FyT9aOyJnrrAMdiIi4Fpj3lYAoAseDdDUBnnl28fQEMam0kKmbjWGy30MPlK/T8zdELYqRAU4tGpwn+bzc6LSQEDiGSr1ps+qsZpY5eNvgL8+x08nISxkxc7reGZIg62Pxx68qujFjtC8PCk6sH4QxQkWRJE8JfoaLOigqJVpguAKniD1bN0SDa6CLAFXYeu9CCkYSZK8YqMR9mpteSRbmxrWA54+SrFbIOaLIjimiJpEIK/8X93U4Emf11f6zCrRbYANyUNFYK+VB472j+1MqNkBenDDduZ0ZBIDLfB54qqMCiY9xMm+r8FKKLPdydn5VPDvnFhKHi4mePC/r4RP7UekUZPBqwnyohODW9bB8erhpE9oLPEwaQNuYhlGB73hSfjgz9qBWE5Tz5TvlOuozq1tmnpRoayJyrwOr2AbEKReX3GR6e9Db3geJ0HHIo8rnkL6z3SCXgtShH5tovue36WDb7rKoXejx/XvJrIdh9uw4DKRHrX5Ix6EVI9pk7GKUrlBTvtHlFvftG0wwIxeXALUn88qf+KaBnzj8yf4beDFVbhUt7NALxU0Ibb0D6Jfr1JBiQWmLGsVwIJH2bY0KGteBgUKI6REEDLUUoZNzQ4trV6339cCQyCXo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759000396

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%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
uusi

