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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-56

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744143

%ISIZE%
4436644

%SHA256SUM%
f8acfe4ecfe52a38a8def677109888b51ae3d363e3c6cc04371eb525696a9698

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo+LVEACgkQeGxj8zDXy5KZgQ//QQ2oKZxrTjngXj27+g+L8a30CwaYpq8YlhKuSxdd6pqWg5hCNDv3GJObJwTKw787hPrrXNFNAON4ECF+pOf6dttn5O9czCZyYOZDXgwgWhcv1j+xm5e39Tz3vIN0LFZaFhfW6pim/eL/jzh4KlKGk8N+4auzocgVbOVAI6Ba2RrNc8TCiRV6mRn/EpDirOc37zGtySHAxD8X9S4L4cMiCmhrM71HAahjvuJ2DWeGZ2d8Df77xVziEmrWHDARPSqJtdS47an4MfdDy8Ptc2SpdmdIs66d9hNen5qH+x/7R1P8FG2p0i/M7evzu7iqXsziWXyBYl4jq8tIirUEZHL2Q2ZBhPKu+rEmuotFUwkDEcqDkaQUhF5/RlI7+RueVRKHqtB2pxkIyMpLs1ExWpBMgB8ui+geiaQ5dV479m6NhsiLTZuI2zvuDBcCK/+DI+sE4btoeI2EdQkStbHceLslE9pg510hce5nYq3XQ0vM1EaI8P48BwTpEE8paV7zIowwrPwoCpZajWyBlLhC8UUHMGr0S31aUrGOV9BvEi64Jgq9o8pAuAPVqdQyD3KCWiEl/Lr46uq4fzNwT+apWNkFV1av7RgjGMRuJ8Nd4zhpxBWByydGLrRO5DOL8H6LeMx61b93MxcpKauoJ1HkvvF60p3Khx+jrhpCZOa96v0xSi4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782459698

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

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

%MAKEDEPENDS%
ghc

