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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-139

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

%CSIZE%
265883

%ISIZE%
1407765

%SHA256SUM%
b2a594fe53b12c852726c811efeee3f73a8141354ac087ce185763a70375c685

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuvpkACgkQeGxj8zDXy5I34hAAhnN3nJ36Ilqz8Sv3n6iS8RoiqClDnK2rRi12duBqkzYjcfvkzxyjaXIt1P98SbpTtDT/909RQjM9PB9YfW7BI/LLBAXXVxYYfdafsUrkeETDBO5yr7ljIstrxuDJcVeDYFd19je/l/hHGEkgukMdFmIVN2nvQdMmzDaILw3iOaHPxPSwIjtbPJY/Su5BpFCzcZNUCguUk+PYXlqFnOGTzPDn/tvAL4FZPAMVd9RHpgUKlz5PJ485bTsLP/busB/oGHMBMdyjCmsXyDLcCB6drzXOVltr+nPkj6XPxvFv4COhmTkqTN7z4opzAK1YMAcCuqARihQpT6x67W2lCmep/4ojsl9pjtB+AAJwPB+4n9qKx28oz0lv/VDsGxnzBnXoo7ljsApVOiYGo6Ef6EHxTuaJphd4oy/41Kht3meGtlgIrtsraFFFqeiWEl9dUCh1N6UKm+gF8/131VbhDcsBRWdaHyFjUuMc7rP1W1Ng1tAjuIcW8BHUhefIIkqrdKzTqIpphCBqBLZhiVKgcrs6nD2OlQfUytjyrx8R0dGf8plzwnwUr1lBgAYiTifbRZI+EkDfwCumQN4oyogGVQWCizsp6fK1CXuYltMMsUhkN6PUYh4nQ8XmXc9Md2dQdkuferemWhwILmmG9uuUetZadVNtY+uWEgwc62+0gujnK3A=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760476788

%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

