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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-25

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744360

%ISIZE%
4424669

%SHA256SUM%
2dede928060b17c55a5777b517494d1104070ab1ede9fc237e0503c6f7541317

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnvhPcACgkQeGxj8zDXy5L/Og//Z0IQ/BhUExWm/Zs80mMx7aCuZQg4afoa5GIx2qG9HnvLSccTP8FPF9bl+6MUBdb3JkQxyHW5VsAMbmW7OLYA3zZRTJQdaoeXocE8ELmEKGgyCoENY6VNFYEAYjaqs1yjke0UKPjUNJBuVdsF163QAPOOILpJ9kBWPU5q5guA68ktzeIqdBcozbJ9S8tGbjVqjuf5k72h/WdVaiHqBUovoI7fsYyf7ac/jf7CHsC6uGoQgqbgdiHwhOm8beqOUQFKWnHgy+WaWSkYha48bI2/GPJuqoHFlThPnlpbZ1bFScyXhsUU1UDESk0GRv5dCsTnGHxQNuG4/SQc2Go19SIvpdfrzeTf26kK6UA3XkX8muzdp5YUEq1V3c/I06j6C/lqi0n+d7PumO3foJ6KZZeTiU2MwFub+O5Jq/bHLR35+cu+1uN91Cfcc4NvfW5KIqd63SF9i/URs7tYXWyvEbRFXldUt7geqMo3NDnegtOVK0KM5iVLYdU6SEv1XwVuZjTGEmCTqsnpxp2HPQKGFDVoesyljqElOmBgN8pWsDCL8jLeCMe/cc05vYU3E/tbk0Z6CRSsv3XvLHAjwsBglMn0540vrBnjkLJohKm18kAENH9RKxWbCID2WjoasEWjtphVJjdR2OnwhTtbEtv6fjEQWSsnG4GkBpoA7TLpGdtkJIo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777304799

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

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

%MAKEDEPENDS%
ghc

