%FILENAME%
haskell-tamarin-prover-term-1.12.0-50-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-50

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742848

%ISIZE%
4428515

%SHA256SUM%
1830767b00f6b0248a8ed5dbb55bf6ac841b7919d47d7b6d25bf423c393f7914

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4+4EACgkQeGxj8zDXy5IzjBAAtl+9yh6Y4w0x4j3PGd6iLaIP4Y0Q2K7PVi0npcTW9Xn5fmyQw6DhHZvGdocy74QHx2iv9Fx8japu5k1Ul8zgnQEv16hQ4XlADQNwkRCsjqG2J50csdAOIZwNdsuiXieyZ6M+F8iYnJrSI8l1edbdsr4CIyKgF9nTAhRk+Zx4N/SOWIgOS2LdG8QoNhAEPTMozLAnsBAXYZS/xNTld5unoZxwOhh96wIWSaNXlUtw134OY82geL+PDXYGsGmMZygtYzYnmLeUGRo9RjTMDFWhErYvPFIMC9+5l/Z7Uf0FGFCOG+1FsgkBg1pJ2hWUYjSuugczFZsCIaAO35Xj0GcXx+s5RZ+IuSoQYnAFSWgmVpHgoTwS8hY73naE008kpn0U9i2zgxCqxIFHGkXQTRv77nnDogzXnMYlBUd8EYVpecha5ks4uYYFVGe6xvkMCcMpM/hvX53cKn8L9PKKxwfUGzuBFhxO1xwATAfyNpMutnGBJNUno1zfwBXAzUwcn2TbmjO5IMqI6G/XNkx0f/ux3i8mtSEQ2JFQQXBtrSFUzHZbkBh5mL4tZN26KVLT5omlFFJxn+FZQkeN9SeHoaEK4EJ8s7+G0sQF0z7ThptWCKVpx2ZEMYpTo696m17vN/rYlHfy7qJoorUf1AvQVi8/TILkl86YA3TwRUKiStcXjko=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782119267

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

