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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-3

%DESC%
Utility library for the tamarin prover

%CSIZE%
240126

%ISIZE%
1274137

%SHA256SUM%
38c33bc33939bacb43b05b1630637af3583b776e349af2fc539a77c330098bde

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM8EOBAAitt4VF2IJc/ppx5ukbMin6d3bENwfCp11iWDrw+2CXB89xqdTymdxfM1fL7YfJg2Hc12B+xVswV9QWP3re/5uuh0W9mCgGGv3JV2Sim1v/Mi1Lr1wRUREI+8qulm+owqTw2R1jRVkYv2EDR5me4BtnbaZ/O16fsrGWAtA4HjFCIBC/TPi3OruuuoTWXASfN7wlpEROPF5nRViYRrQf2A/9ow1jtYtiWllhb3cn+y9+zmT5JFpww6gBL0xeADBt1vVQoCtWxG44Ecmp97MdNieX0/bzuNYKVI9NPyFKf9yq7N3QU24QhW0s5Xjh3UCf/aJ2zTHrUwjCRUmIR5U+xHT/ZDsuFinMnT27ersMGWOsshaLLDaJYabfR0yrSrm6J3/Kd+Zi5UYp4IBMgzoz6dnxC30GI//yTEC2bLTomakCS5kKg1Oq5x+XdjyqzSrUQCzuG9MQtk5EQ0Zg7BCJJmJaz3HW0Zxwthd0XdMiYzlKVAn7Enc4njMFMmGn05zggnZo3eqMrsDfU1cpEzMnJw9i7vijegojxW75jSzN/RZPk4gb3hgJ9Ig/VaxFSO1Zyvr8kkUABjf5QaTJv2uny+p7iV9Mabd9I/2kQo0i/2vRGSzCqNpGfZO20KM1SHoRaReFJGLVGxbZ8CZ9uAWJ+nU7Ntl/9ZIkb7iFu69ELMg+Q=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933324

%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

