%FILENAME%
haskell-tamarin-prover-utils-1.6.1-25-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-25

%DESC%
Utility library for the tamarin prover

%CSIZE%
257779

%ISIZE%
1436467

%MD5SUM%
f24810ca5ac122b20d45aadde6d66d59

%SHA256SUM%
19557e13cf487babaa105f8fc32143d0b29d04776e108862d795f827a5aba4a9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHzGqMACgkQeGxj8zDXy5JRug/+LO0txt7tusyJi5gDLkPpwC5/fCPON4bsVoRU9aP37A0a72XfzCid1YGuiDb4V+WmMNF3SX4ucFtDAs29pBvSWbnT8YOCVsLObJVwTbEEjUQTa53PY5Sxz3XXA7Y5pFwv2LTfvfFqeoKPYyQ+Dw6pdjuGYU/yQwQgy2Lnf2vKpepm+YZ2tfo+Nny/oYcpfGQrWjSTauEx5UWnKMVRnBQoK4Yhp3WAEdYHrjGlkH+JHMSGJcKoq0vW+hYmuJX2oLFounYc+YAMZw5UAPtYRN5mASMyL9W4JPNnkFaq9xpl0uIjuAft+xYo1wkZVXjotRgljpRxiq9vkcLElGzwB/8+7aQQcqfq6YpU4FM1GkugYA6d9xP6HH4V5UJG7c5g5iThyOUpuRbZS1fgGQhSHGW2VcGvCmP+A8c1fth6vchCuo+kDrjjveqlUXZ5LG43WUs47PWlv30JbJXuOaDRqiu+cNaiYSEijIyDeEHMcLclbSe5xG5kHRvTEK69MOf2XqPFnl/bXPl7DQoFMbCpGRz87wtTryVcH9jsjACjiXE8d7dXaDCdKcQ0b0eu73+MAd5wint9UtC4t8xfYLdyRI9WGvkECRCNJS9OwVaXR8hbN+OgPFXkdqwNB+t8N23v5vZMfn24MLxVX30ZEf3xcKg9yTpdmaMGhm0eXBMLjySiMBk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643322004

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

