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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-46

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

%CSIZE%
265397

%ISIZE%
1406316

%SHA256SUM%
a4ce698a1315ac9f9db5a6a589bb15e0cea76ddbaec5d906518752cdabce8423

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3BrMACgkQeGxj8zDXy5LcWg/+Ib8jDDDEWoO4ePWwZTcWMKdmo/NCduIyrbJ5X06eSO9cdisXrUB6qD85I7FYQUjjqSALANZm5z2DapHQY1eHh80kDrYIXmk4T/xaxPMZ3Yuz0OSYVizga7h3eQCJro4H7A+OJdhymJFXoGmsiEVgprX8nb+irdfpGS9QeREr0JUA29EkRLoLSc3l1OjoMcM1a0Q4lut8GFhUHXpnDQy8dE05Ciz9kO31JzFPa14zDnN/gnr5ikrOlLDX8uAXnSweMNPPiCP0spB49gwzzVqBxSXlfMM+ajJWzLM1cxEvBWVJayZQW163403YIP+K7WSdpSb1JIJ/YgIN/JK/+L9JZqo+unj6X++a7JDBfndlI6GZsnlrzGgYPCOq73U47R/NepnGhN4CGUlWO2NUFQBwnRrNJKdt+ZvzSEnMe5Vm1p6oBWdP0MLwj5RsWd0tfpYKHBMbRo1hjMWKQ1S42YYXHsgFgn55OqYvczifECRJb6xSw6zggOHzRqJyxWY3kCeyLiyyUoAM8IajpkQnGOmGT8w1ZOUYMih0Gef06Hox3htLSDzI8Wyy8cuN61NGBkOtpS8hswy9DmKA/qyf4ad6kGCzjAGAb3ZeFcPJY2c+R/ZYN8pN855+wkgkJ+c/3LXqa8+hZWy6Xbz8FbbbzopEzQCoFkWQYLmCF9H0LcS7twY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781991063

%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

