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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-60

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

%CSIZE%
267909

%ISIZE%
1429905

%SHA256SUM%
bf6d4ade9b01cd49d4f4f131281085b528c3236e32ea67a22bdf38c8155e6c6f

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWcACgkQrx0hme8KPM+yJhAAtUmN1T0n3QVTRNj4C2QMmBuZUM2a1yxaHvPhHFkCpHoQi3hK7qDlsRwDXx2v92yXoGfvusyI37uAnSGe76x57v8fNSbnUVj7k6nZIJUOm/T3e3/Se+45849nlSuICDOO5G3zlLeBWkeaX0tilZVK8V6+zAg6HrvcaUMD+wAotUWEN9OQ42akUKulrJB+thpF4AJPNvf+c8LmCL579slM4IyCkBcuIa0MhriCInL8OldjlKXwTHmvaFtSUJ8YPV46jpK2CPtFDk5avefln9TUi1A/sabD6jeN2aNq4KVS2GWtjQ0ElG91Fq3YxpvnRmdtcsVVaFHeyhWwQdaA0RqVmDMcV8PNvG+K8EhERNtq6iHjP/RJrevXNXIrfQ6PGH6I2LyEHMW5NLPcS3As12WqLQ9iwNkX53NxgUoEZAJRsIjO3QJlJMCianBz8xqGyQg0rD9QNLPe61fs8hR5kxkzaunttdC+hEsdx7KWGvhzIMArBrIcEcQRLb6Ztg2YvEeJAGnfnHpHZc+NJ0+DhZkfaNx+7NIIBEDOy7ZqK6rp6NWGgJEgqOY4NfVADNwjF/s7teHXa+4nBtO3lgk52BsqH+/kUhEhREdJNHvzlP8h5df8pNsr7BkSdnML6YuP3hzUWc4qQC8yTH3YQ4FyJB849A2DkAHJT8+x9O/Ay0N1XWM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

%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

