%FILENAME%
haskell-tamarin-prover-utils-1.10.0-138-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-138

%DESC%
Utility library for the tamarin prover

%CSIZE%
242811

%ISIZE%
1263792

%SHA256SUM%
731b2f959635d857738e350d7a6b63af894c497ce7c9387a08311c4b5b198b74

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuu9EACgkQeGxj8zDXy5JZQxAArGSNIVAUc05s5EzGNMbFn8CZHs1ZlSn7/xwjy/bTzLZGOgPZd+rnFvcVgaw86pi+Ik+cqg1eQrFYoH101RFeU2hmdFjgCObStZkbnIPYIxiWjlR2kw/VkfuVQ0F65QVIuOZecsLQE3dvejvrwUCE0a9bFzcITpAexAi/1tB+1wMMTATZHneEB76EzkWvnFzs2ryhd0JxSkoF395q5+7oL9iyCqTRrYGC8IyKjGO1AXDcW54CTBchjP+5KrmLCq1rOzYiT+S3DV6COaYTSpVzVK3n5nh84SE/SOxp6HoQOvU8FDU++x0baOV3E2r1un58Bhi2rOf0cNSAWB/hxKGO8KEy+k7VNqy1tmb+edcTe6xAfOUpAKsgyCnZ+ycWaO6bdh8zcZgPIaRN/TXkdgiRA0I//KrcoH2okKjbi2iVmzOrUXwa9w1S9q/sxvWKY8DkVNsMTjcZKguiIdNAcExWiZPFTj4WQ0mKZoPFY7zc0qTEu+EBrl6M31m6kmLBR2ymyZk14Dk8SZ/qpyDaKpy5wERSLbjXeP4Sh3CeNc5/+uMTVQuIOvXamE8qIZJuh99AOnEwdcvGCepP6KnA+87VcucLnns47ZEna3UrcRJelSPNZtCReCLrVTWYgNryYea4jMPSTb4oUp1zp7uGnviIE3L9c6hj8ffcEJrzaS86Jpc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760476089

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

