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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-81

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41319

%ISIZE%
163706

%SHA256SUM%
f47cbafd768b5b88093f2b984358321c384fb86defd392ee18aaaa9c96a75722

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrB+tQACgkQeGxj8zDXy5KEVw/9FFgeXlvkhBwUnCio3f3Z6D5im73XLNOqgGfUyEtzmbLfvhUbgym8bKe4OAHu3Giunon2HiGaIqjLz6fgJcKeJAgb+usNPYCCq6uHqwfdXMeae8kN8fkJdThV56UESquZiHa5Ou3VprUuuaPTcHmmsx2WIF7SkSy0ge90pxb7xlOehkXYSFbuM7v3nQLUVOyw1xoJfPc/vISj702rMVTWNt03KB0ySNBwaSipIahUEbS6kkQHobbljXRTlhcd1W49rVwFp82FozUxcfg+eD87T77KcofND0I5sdTfAn6IPhu5wcWkLx2vg4lLnGIM+kxwwkT8FFP+sautN+WraI3QtwISS9Ryh8iEz4CMlGOSXyrHavDMMEJrwYtUIHqMOX1Npu5a355r+WjxQkVZ1doqh47pWoy9Euv97IJ1SRdqN4PhsS/Oc4oqzfaJhiQDzlAwWJosMZ/0oktYMki5qPojuXL63rJvP+IloSjg6y20vbGuthhEiu5dUZ3yEk6hogqM1pUIIDvJzENHuEqmEiRNGo8x5iUPUG3Xlfy6cWVt2iES/7S1I2cvQzoH6jnAQxHCsDlM2b79FbOQyBAqMIJMiytsb6oKy0Okf7wp4K4aXc27HKT7mZ1ifa7xEppV6rguYNTyydatiwLzamRwY09PK//pAsl/k0mVUOC0fEK5EeU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791097537

%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

