%FILENAME%
haskell-tamarin-prover-term-1.10.0-140-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-140

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
740152

%ISIZE%
4405440

%SHA256SUM%
21413a738e97f6c8cd0df7d920247d527adb2282a52a0158d55b6e5b68a59935

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstT8ACgkQeGxj8zDXy5KZLhAAuxR3G/RyFU+OlqXmZojF0iS/lZxNUu6ctSVtbDcePp3vU6w8rOcwnsI4XkKuouHvisTzpDqGV+0HvHx0Tmect6IJIbxbp3phiAt8lLM22BV6w6bbVEeahYCyF/OOXjcSUdZHwOvx1kygHWAY7QxaHhlKU85B4pntNurfXlps6w75rzt3hPMWq9mWud29YhPZlieW7n0hu0OR5uHMIo2fyr9wPopIlnzD6NMP+W9Hp+MFjrQmqTE6sJu7nAFZnXtMNw9eRxOX2LjI6V0j0W9OdPKrclQjbtcr/hMBIG5r/nUHdtL4oparn+pnQK89W2YhQRPDtZDSnI7GWV/cup+rYH6/TxGXATCGbqv63Qq3htGRZvGhuR0mYrb7vNWV/+91/dYjudww2c/6creXJzSt2tm8qTVTx654bIuqb3fRYt397yNOJb+ryv5mSijzTdj0HE2PHqpW56pvGROfSJ/6+uQ2qjQ3hNqr/ZffYeet36LrGaysi3j33VdgDuXCG2lJKPmMlDNEFn6m6PPaVbDXF4UptQ3VW0MnyrholtM4qXzZ2ABPxzJTKARfvKwgNbzrocM2f6mULIFUyjZJuUXgtbCZvhv4uM3Y6D8/y3zrl9NL6H8yUnM2m4eNdXBRHhFK5NaNondm8TJe79xN5tYQFTklqhNXnSGY0DmuNBDo/88=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537621

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

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

%MAKEDEPENDS%
ghc

