%FILENAME%
haskell-tamarin-prover-sapic-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.8.0-34

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

%CSIZE%
318272

%ISIZE%
1657495

%MD5SUM%
1320ed83aea7d60a55b1fc30cd4499d5

%SHA256SUM%
3aace7366f927d7241633651c6686ee227271c73b215085380638bd74a239b23

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM9onRAA6cyxHs7jsPJZY6xmL2WEmJr7pL3XE3TiUj9sNRctlD0LFla8MxakrNAwIlLtvEf+qaw4ChOfOEbIsHzufZ7ApUyaliSHk2+h1QjYap0Z2YaWsVXR4qpkDNg/vk37BX2jCtsMnmkzaM1/sKLPIBA8bARUolWWtY4Xh4I8T+VAE3qbujCHoRDvCNM2PVgb1rEd7S6PhWFXshJcLKeXC8HEQwrao4+MEwC+aCflYE9xk8YWJETQipFYwaML5VNfIR31d6+9k2kbqATESQYZbGWM+B21mI8SnNiVcyyM+IDs4J4TCWM9UUQnZZd1XNqLs1Y1k6W58fPYWnS+ZnlIFeETIVpBPt80lRnuJhD87Ml9AQKEaFXCUk1wRHggZHfOvzI34LKZotjBeHwpPoG8XycpjkJwcIoBP5ZUa3uHrBXkxvrPkxJ0qN+wIKylkAdaXmSBVTuhVUEFENb7s/c/j1NJx1xY8dwu+RS688p7VrrD7oZALKzkakddTX3dcJZMKFhKUy4uVssR5KWv5IRuY54NuE+jqeodS1rbjOqo63x0ZhQx1FVsX1+kWyYFskR25/VZCKE9E7ag7gBlDis5hFjQlgfYf8+0R7QA08zHepggGg6ILkxwiJa6cTLlwwcJQtVqEA+15xlpe47xk64v3YkiWJ3MxD3XrWCoQgYbkODLxTs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341319

%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

