haskell-tamarin-prover-term 1.4.1-65.0

Architecture: pentium4
Repository: pentium4/community
Description: Term manipulation library for the tamarin prover
Upstream URL:
License(s): GPL
Package Size: 665.89 kB
Installed Size: 3652.70 kB
Build Date: 2020-06-30 06:33:04
Last Updated: 2020-08-03 21:04:20

Dependencies (50)

Required By (4)