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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-81

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

%CSIZE%
265549

%ISIZE%
1406258

%SHA256SUM%
9a4bdcb4b2b0a5a125fb3bbf46c2e70c128cb644ddc1d2750d688e6fe0412fe8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrB+t8ACgkQeGxj8zDXy5JR1xAAqhJESBq9Z6hA+CfQZsDutjuzrDbn014i22cxpcIDWWLXqE44c1SLwtqrNI+Fid9BeOq7yIXNb/9aZ/1keAn0hGidj4ejRcS2hAMEIppjYwbNgcT+/ZU0BcDKDzaauI6gFx1tmrnUtaRkCTYhcATlOIfCNwv+vWkolck0L7GZfwx535PYiXrpujpMrxxBAc3Xre3l3Uhv/x0il7g3xR0tLH0je5kRYcViZYZcFMomwTkT08gc2ZcNdTDPgcPN4zYvJI0c6e5OMi94AX1NcnazCJm19EdJJtVVuoQQ1NMEuYcrw1IpCRBbEhR8aHdOwk05065uga60ChWXfs6bOLTjaeAR+sQzY59qKcuARmX2VNWkPMGhfwOvaD+9zIOwMKKxXmOw44P1fztbS2WJEHp861UGXnTp47uY47lDBuokpTovTKQ1QQqtlOAIIegoChW8tGVlxy+5Acxc+gjIluJCH+0DZVNmuJk7IsSoRToHqvidUJDKTW6oVXqEPqgxo4vcAdg+tGMZmVFnGV9N5JfjfRhdFxIc2Hu2pXyP7Dni+noK8jpymuVXPopY/8k/WotzeEaz4rL5p2YND0kORaFhwx4mRgIS4nbhvMnRJt8kYIu4o7TNKBNS7/0IW/H+yMjhzlLte9wjVAuWq2SckwpHNi+kxjVrmwkhvpY89/op25s=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791097546

%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

