%FILENAME%
haskell-tamarin-prover-sapic-1.6.1-32-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-32

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

%CSIZE%
195254

%ISIZE%
995974

%MD5SUM%
f380d30ad5e132063e7e168e12ac80e9

%SHA256SUM%
b46ebb74b00f99e9e34e6ecfef4cca6f8848b5dec1db8862468c796f3fa941e6

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHi92gACgkQeGxj8zDXy5Lvaw/7BN7Y8fk9v5l3NZByQLqcfvTd666oESvvCP7lZW0mhDuvs0PWk/0BjEBb4Eg25SLSdDsVvDEQC1s4sPUnaeJADwgFo0CngVtbS6h13jBqfXkKgaVJaAgvuq5EIpF5SExD1rxTGJGTpQvkbp+8gLbUivEoNtaH1Fkzy19F1DZB62XKgYHc9hf8purzgzRhet++cV5LX6OYc4g9M7s9fEYa1GllkqjUJt8fr4o7v65oFjToAdCO8VoVaWpO+tfLBvOeb/coqrQ5C1javYinGeHSKpsgYIBoGHOXorkBNQypjVSpibmwE7nWDzgU05WgbmY6XuDVnkem05G8TpNpaMoqGP9++WUI99kPooMfEfWbcxYe0gbuvEGZ+G2gg73CLmRke0AchagkTYER/j2SeN8LJ7lC4uZIUmFQwviXjEd2lLMnwaIlIULqBqYh7H8hzL+i0Wc0TNL3F184ywjTlyhpV0/3MvjnU95fbdN7Z4P/43/F7FI4CdtxPBI4M9OVXCS4wysng5Sl+T8yMpIspygo286zIjPSrirp5HUq0yTPlVLglap92OY3zMJAXg8F78VK/tmSmrrNS2JZAXkAHSqvyN/FBX0jQJso3OoS4fWh5bszCDwULMSI6foy2ssZS/RYmmlmiKp99MQRaq09/3aKWijqm1tXY06aPSIWkiG/Dgg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1642264399

%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

