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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-143

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

%CSIZE%
194781

%ISIZE%
989865

%MD5SUM%
cc5c18d58e5476ba236a2209e456a787

%SHA256SUM%
308ad2234e65243997d7662613d953f5ed2543811520c602a9071d505ff7ae5a

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM/12xAArUoNoAuHnGzDvXCsih/5BojnjQTsK2VxMTpsw0qr49hSUjF8x3Zax/VSjgPNb63Za2F75tBYY4ERwlhwgTMUOD1fB6NBVxqQrSUVgfyfvVntwNqyOElTurQKkJ82rv/KlWVJP1FvYAxd0vahmIu1yW10ewRBIyjGiBPu1YdEFdKkVzFv04XVnr6JuhixQIKf6jxzxLJKM8pyNepc4wo9FZPvevyN1GN0mRJglAaGZOltQNgW+F+xm/KekU9nVNHWnTT1y6kFrkrnz8w5akOgErfLquEnDAL52XFW6AZc2VtA8/o6s/f/l5PBGPn0LeYDhwUT4Jv+ENxJIbSpFziGkvEZ5ZJ281NsS6ODZd2/ONUiqgpz/asKPeuLAye8ZhcZEkrk04pNoupUQhEjf4oy6Ng+FRNDh/CVUh43VKuaw5qC96Da9Sl2FAk/cGSLGlGbkPE1qqcsyjnWTx+TV1OkIulwYNuU1QAREMz+Ox/X7lscUJtvZV67y/eESybEJYdSY9QudUqLNFucNDzQe/HDzFcShPi7hjInRihIhm6aw0R+xQ9HL7MzYh7gne+B9gm7XoCivyhLhzKVSmLjcmf1TB1jQ9t7I/k+SA0RPoacsacwACNtGhHFKzAOTmlfOQfPLrMRu60SZ8gH0AIgz7KDwR95z8GNnwyvulJbjCQn0d8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686581237

%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

