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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-33

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

%CSIZE%
265210

%ISIZE%
1406259

%MD5SUM%
5191113eaa96aaff67f4ee74f2ed292d

%SHA256SUM%
d3470c97bf4a179ab771b9155fb9bac41fba24bb086cec32b992ad6f3caf8252

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC0cQACgkQeGxj8zDXy5IioA//VxfTHjo5VOaZj1advdKaOBNllUYTuKLoYgeoNMece69qspAs8msFlT8JRNsNxweDdgTW2WJOWQ65IKa1DfAKj7SwI/pai1CevaKcnlQuij7HExO+jT35/8QlWp/CyFSkrzYneM2WLHlZKjbGmETXkWuQVp+nEL+yopdZGQOD9qcdpE945rP5EJEZD4YebFW4hT49aPsIm8xjx52zRHlLKd0Z+AQkHYDmMarXS7Oc2tX3ATF4w2kxnfgR3W7AxQzTtOp5ut6gn0ABzSLAWojyDX0JVPHFqBe6qPJv7ADBhZHtB6piIDLyhyeAxp1qniGJdZ0Lh/e4WDGPJpPCFCEygV5C/NLAlCmDasR+eCRtIMWOFZHUbC/IvPYCJH+NvstSek2CPo6pgWzYqcdUssxf4qvnjlVYzQi5KKk8j8x1wLkPkar7egdKYCUAoj5TVml6FbcC9uuNps1B+v9YT5kj0q3yccEUasAQLGDOlJZjs0PfiaWcxZvnqopoKH8srAb4puEM8ZflfFIYzjovF2KXD3BSqwbXKHfKCoC+2PITnCohuIvc+xuRXGuovlLzr5QcmF3H/j1k+D1Pr/GXCTK6cK00vq+eLnhYRsWLf4nmgSwFOX3oCRdlDNQi+vaDiqNgJYMsJkufjoFpMYNXoyyLWj43iFBR2KlXE2Mx+LPSypU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778569635

%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

