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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-88

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

%CSIZE%
265474

%ISIZE%
1406294

%SHA256SUM%
a4dc7af03973cd158b1703a9d1077eddbe408897f0d1f67fe3bbb2329a9bb4ff

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVGoACgkQeGxj8zDXy5KeLA/+JHDr4H7v0Ce5QZgdb31TdG0gNxABVix1FqTMBBuEFHsiPivjTsnikvVob5k4G+YTRvVTVbamarjzNcjcMJK/ZQwy4eD0up5CjsxJRnPEaoJWyp76Svdo8h9x2FnRFV9Y4TQWjUP6DPqqq8n5012wfCsJpgucnjcgqRwcE3o2jGyGgTWpg3COy6VP0V8aGDNtLmqniXXmL3jE1QuT74a37jOytjiZeA2vpqcGOw79woVBeXRRvP4hmPPeUodGvD0xxT4IaMxH431dhPx8rkpwgBl1CxUsZAeonWntNIVYHJzgDcNyxQRuNE0w9GJll4QccNxZMAVcgj5day0krSDNbV9qmNbuMOAI0T64vNUdp7EyZ4lWMYXHX4ulhvTNIfU1F3nmDOr8YD+hZH2S2hZo4F/HKOfqxuf5FaoUYEg7o+G7WjvnGgauJWPkuKr6+XK8/pWBAzkrsD+QPts7AWb8Y3HbQx0bCmo2npDerrmkX8m6dOQHnDPsXk+v0o4QTwTe3ypWHCdYMhVc0VXhsocU63+6LWIe9EjeRufYO+UVYKZ01Py0WCq/wvMRMjiTDC312fSVCjNyjXDRSkiCqQefG54vzVng0AXeV2el3Jie/dVw/Wd+lyQIHRvgs2atNQcK0/48wghn12SXPsskhmygUtv0jk1YMV0mBWFQnkDzG74=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791710290

%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

