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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-41

%DESC%
Utility library for the tamarin prover

%CSIZE%
243792

%ISIZE%
1268400

%SHA256SUM%
d2b8b338a789d5c42ac39ed7cef31e25649a2ffb16ba8a64c55170dfb1ad2bda

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozzjYACgkQeGxj8zDXy5IVSg/7BpChgvkvUdkcd7HV/kNv9OKegAwg1+IlamZn3pAQ5lc/7l3xHmXCR26DB0GmHd75JfBGx9simL2IkNURW6Z7LkTBzm1PWaaNLeRDTFXsJwVJq8zfXXLNsBrnpHV6KEjkgB7IOdvO2w1SodxP5w1UfiixxSctn5R7J40jq/VPllErRVueg9ReTT1H5qMgCmgmlk+NTdQWCbTrScGGpa9D9m/vdGCboY+5SMVhxKQDA9aE+XPxORzAAncDx8hVYNkWgFcgbt7NSHM4dSJ4ZgxOBwH1Pu1joQQp0ZN1cETsBpsLgFskRkz9gh7kEU8hr5JhG118kV+eD1vypZD9fOEO+dnC/DOmw23UOi5TCTEO3HkYA00XKOzCdyX0FtGXsDhdkffGMsuDt7J3uEIIz5/cSCoxlAyaWdQR+9jy8hxotJTAKeKAKzhhemLJAD9YMY4+6PBsRm3qIxKXtdr7/VprFsbVIrUzbtvzUmNuq/mnez7SIB8OZ9eIFUWHtaRvHuWQPIhjkBHN/wFV9TfhtZbEMyfiXYUmeg2ZwDSbMwdmOuw7BJwHXyWSzvoMi6qFFo1KUbhSpd+EKPPf5DrI0i4oGHTc1N14Xh8jU/DRBSA1HfTsmSIOB1e8sN2jy5ooT2JRsYOLX1dB5i6HAQfLx9xXXiMjpJpCy6nAh7Jta2hPauY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781779993

%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

