haskell-tamarin-prover-term 1.6.0-3.0

Architecture: i686
Repository: i686/community-staging
Description: Term manipulation library for the tamarin prover
Upstream URL:
License(s): GPL
Package Size: 675.95 kB
Installed Size: 3752.54 kB
Build Date: 2020-09-19 23:24:33
Last Updated: 2020-09-20 00:26:45

Dependencies (53)