%FILENAME%
haskell-tamarin-prover-sapic-1.6.0-82-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.0-82

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

%CSIZE%
162136

%ISIZE%
781580

%MD5SUM%
8c766a29045ba33eb0fb1d3adc23af18

%SHA256SUM%
b89dd8be73ec51023adedc615c874751916251c728ad22170f8964147800b073

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBctAgACgkQeGxj8zDXy5KsaA//WDuVuyapIS3lWkvD82cbbTzY18Y/SbaLqutbS48JlqFTOSAu2opRFLvXvIDPw8cgIycCHWizjW/U7GblRhE3b0d8t2T/G5nVoSYuTbYR2LK2zH/86Ltbe5prGsvo7Lro4A+HbUr4DBC7lK0fvGhYznQvTnkLHC/ICGCCa4j5Lw5rGfHpRQzxdmeGTH2IxTuVsB20QGphvHWxPM9cpr95+/k4CeY02aFioOCeP+LZScjKBu20lKgAtLsK0izfWyDI8tqfr4NHpzBORtrjlgf/UnPglSQY2Q38dFRS0HKYZrQqmX9o29yATrtN6W/lcyoR55FruAQeg5TbpWFttWbtBcBnYLMaXSFf0aRwYMa4FLevoU3YSv8tehdNvdV4v4ALk3HEJh1tnAZybbb7rQkfStYcr9VCjrWSx6KPkqURJBjiCd0VhfLryCSLdMOxHIWxISgE0jny8tVlacArgsji2QuZyg0IdCzpoTN/ZPk0B/Kiaetj7K0ScgEv0QNqG5/2GNPSaavUdvb8WOpf+Q4DdzCAOH6mrXCl0On4ufHrctNcqokSP0zkenzZA/mjvB/ywlohRaI/OcY8GDnSdzzaflgCVJdKU6ES5b60/RbMB+2yWxQV+TNUb9nhUwXE3EURrenYAJbRFEmpotpK14DbJW+PajhjVAvnXJEZmxohqRk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1616688097

%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

