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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-70

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

%CSIZE%
265459

%ISIZE%
1406265

%SHA256SUM%
380bf4b14414fb6c86fb93a31cd663a4a47c8b56bd02a5b699643d159fe95066

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdc4UACgkQeGxj8zDXy5LFKw//e8j2mLk7BMZsJa7SjERvHEz0QKt/lHvaeYLheE0mPkoYT35j8wGyIrI6/v02DslpYR1NhlukiOroCkaPux71ouJE3my7j3GeERtHUaVt7o3VG0UCI67wMjb2a5MrhibuO8n1TBaWiBToNRu9NAnucX9WSeolEtn0RZWTZwtsnJIx6gasN6X3etzcGeBhDtGeMCwzYmCG870DKudeRjArS7Pe5Am8egA2y44+Nuy5sELbrhTaH9tK3z07d2K0Rk64imSgrJyAN7LSymO8e6XnPW6/GXUxfEin8KiEQNDbp5+0HVJeNEh1YDRY+s5defdkCS00OYO3ZEsgbfGQcTXwm4m0rXfUbsdf6jXobOrSwVK/BwZOFjauX9BnOWKhW3X2y1ft5f0usHbL3urloyofLs5VMWNVUlJFzZyZcqwt+umYUr86YLVKPtf19VSj1JK+pCQDGdWLgwAc6pNBEC6Oguw6PGAPpem9NctCTqc8rNp8jyEfRvPfYjf4m0WhF3U77qQzz9K6tjlMdavbcn0YVWaw/AC1WPFl7jR++BBcnpHqJeti48hfLYU+K5iR83DZK0FDmsvSZVhHRONGe1dUFPlFd4Zel8+RzRIOub7f8+59J5vNDeU9QIcNhF0V5SQJ3jE7vVJzhh6/ejpXi++Pg2TLjQFZ+tvl4btaEKa4Vf0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703590

%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

