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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-23

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

%CSIZE%
265931

%ISIZE%
1410379

%SHA256SUM%
e42ea759fdeabd9df6367feeabfac9ddd331425d68eb30a0dbb072736208faad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnntpcACgkQeGxj8zDXy5Kwfw/+N3hv1eIkqia/4rfuYmUwHl0XHPX5vtCGdlTPa5Cvp9LMvYqLb8ZYNusrd6sBJUP5Oqnf4BFfO0v2njN5jS6vttmA0lXdIKE43zMGwYGHjWFQHy3qor6Sz/nGBtyVVmyYHLCoQgptj95VeQtoXNk9Us2wPgs5Vr66htegIm8BxKhZg3BuN5UKTr5ikHsudeh0BQg+CwhnJIQTWyADhT2q6GR4bO6PotDD4QaUHGN3Y5s9REFbIHG7bH5x9qLryqa5xsV5DCxV4HCpQnmuib9aESKgrK4VsIxWPMQ+Z4+w8QE7AuvFHT4LPr6OIx0tsYY7LpWX5/Vlj73zkqjLAggfGa5F2MWUZdId5tPvRWXrDccwyrgRS5PUSUSIjK2IG4MwzBE8BSJbKR8kjhrQuPpoBn1lVSk9O7rozi5DayN9ZnAyiiJD7LAA1WChqBF7Drngci3mgp8L+WICrI0Bab0B2YJFaEX0CMxKsKNy2Qj7ryFSDVJjHpCRBJN69UN6D0NJZoWheA1mqQsw9NiPVoyLAqpNedO7vWVuCrr+nn0CXszSQAAUNLepy1FsadhfQrFHAMoA7zxZnJyUavl3mIjzrxiMK25bo8UFDzQK4cupxfCkicowe9IzClrX+siWNzv1gA2MtyLegHVoJD9b9TKfbfX5wXFRelkJoSSfUmAhH1Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1776793207

%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

