%FILENAME%
haskell-tamarin-prover-utils-1.12.0-77-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-77

%DESC%
Utility library for the tamarin prover

%CSIZE%
244018

%ISIZE%
1268375

%SHA256SUM%
fb8143ade982b029e9c277ff5be34bad483e10d8db7d837d302d6d0911f757c8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/Ei0ACgkQeGxj8zDXy5Lf2xAAnKdxcIWyxt2sUCAbFGSPoHxQTYupOg5duSjRGdjJRduCk4gRCibblYCpd6bD7lxOhMML+PPr9YZ1E25SlOtMOvc3sO2BzoD9uqo4qLfYY7OKUfm4Zd4JvAjnekhFw32+cQowwTemoFP2mCd0oUu/k42NMxWUIZ4EPmg9BsUB77lc9vuO/+GAstnCyDVJ/lNZg2yso5u+YF/iFwbmfju5UOiexQ7U5AOGvIomp2Ovuzkec1Z/NdMArT3fciuBVPMfdd2mH9gepGteauABJQKPNE7QTzJd3fgxKfYvDF/P4pyHwa8iY6LCxCG/J+Mh6L/52ZH/biA4pTKMz68lwr1CF+qYOt2X8w4jUX+EduqKnpwMvCTBJY+GD3kI9BzR1oVPkclSyf39XBaRQX0MnmsD5WY8lyvn+JuP/PdvIogpbs/UbQamI3srIlvyk5Iops/ku0rg/6jeDHhXKdGnpGJX2px1ppTh8cAcNafMU0+94JcIejE8dyBxonD9hBK/Hg4Zlj02wcleBu0xp7e7n21hdyNEEhhMtLlfSAZ8+B3xC6lyk2FJTX25R/rqhhBHeXQPJZ+N0IwDvB2kFkettQcISlDBA7j3A6r63JkQKvuspvv96EQCUv3nxqU8KJjpMQaiJXKlJFhrTcKrjsu8l46uw+G4tZ97g/5jj5LQEfExgXo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790906847

%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

