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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-29

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743904

%ISIZE%
4436875

%SHA256SUM%
2a1cbdfe389e4d7c7411cef2b07c6b5712326d0a1289f6b88b33306434bf6093

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7R3sACgkQeGxj8zDXy5J6fw//UqzL1QwIez8Qpfl9zLf0oU8yXPtXMUOBHb6bOWl2ZJIsY4TduNBW2W05U3dVhzNyrsuLSXv9h4fo5VhfjRkgXgxRpHidcnPhuSgaOG8CALVH+rAMMlDIcaQybE23YVmk0uRZLvSGWzd7968NH3eMEiy8DqLpIZKamOfXFLiSjYt+q0wV6lTC5iIEWUmVugmFeN0kfOgd0LSnbb3+qRYqiqlsINghhVL3Vwj/1ndFvFBTMA35aZxaoseeeRznW4EvKzmQnIUQ0CcHQ8/VwM6rwlZO1HePdj9g6XObTZNN6Oojm1t3r+8VaC2UAd5s3R/JVeTcuFmOU6OYzFqffdPkItTPuC70pc/rw06ddVS9pcA20pMbcLIuJXgFaN/U+yXY/7Vg83aCxd/rkYSq90owQ5ZhjfiudqqbNmKi3eyP+5UzMS4ZwxVRc4+3lOz5OHlpebOkJIoJdIu8yKKTDJAdQPzhCOUf7tqUtAjmOYafPidQ1xOAHtkhfJwcoWcP/6N1ML5c6IhpZttXVLnMHi+pIu6e5HXxAGZHR7OaeDFSz1Zy1ph7lHRn7Gb2SJ4fidAe1X1RsuJlItdEAhfEa0stBeK290zqt9Cv3xe1uM7iI6tuGdQMGteMzCAAiPwwM/j83G5NM5sVi+pQphtkowt5OXPA41tM6Dx9sfDmkrqOFV8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778075483

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

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

%MAKEDEPENDS%
ghc

