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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-33

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41188

%ISIZE%
163714

%MD5SUM%
160486d7721358c09962f1e8303dcddc

%SHA256SUM%
0711b376c5f8e741e5b64e89534004ef00fd753c2e5daffdf15a895946f687a5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC0d0ACgkQeGxj8zDXy5LaAg/6A9wfoQVurXzR6yMsZjxnx538aK1UqDGYR07ez4DgkBO5BpUIUaYS6Nmd6tOfeZO2/ZuHOLZW63KfwKmTF8I2fDzuniAq7osjuqWYC694FeDIQIY+Jav2Tv3gu9Dv92VSqJv5c5a1YlPuo1HmqgjHKggoT9f/mIrD2wD7PwYbPQOzIscU4NA15mCZazj1Urpy/Iuc2KrnKaNhA60fesNtDWmSxKdZLRRIWVEZv1UFdGi3TEI321q+PxPQRrKaKz5lZo30VZB5BfyNO7KpKMqzNV4fgZJZvMTLyrBWdD6bqdbtdmKa6l35Nksxxv4JPDPHN1fTutGtvRtOf588KyYsCJB7Lk2h39VfRbgwMTjyFoIVHgRmhrDynef/sOl8hDItlzdfxdvc8Qy4p83VlzCukFDu32SfQndEx+b2EygOTnDWpN71b0JeWdam2CHr8un4dNRFt52Bk9RExmQ5X2Fg+ZZRP5fJm/vssnhCG8k8Xof4Pc6TSACTZPMFgPetDZQseaHlO0IPm3UdiawpiUStqnItctc09J0ME1vGUuQNMN2WqYWm2H/paw395hZQzwu96M3/VNYUlDeeCOM6W4FvdMYvERcoyENTskGoEMz6F5l6nr8/JpeyYxGI9i4l1/GAbqOyBXunTmFBjIllVGvHpYwj1zMXO1nKxO2SucK0jkk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778569647

%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

