haskell-tamarin-prover-term 1.4.1-62

Architecture:x86_64
Repository:community
Base Package:haskell-tamarin-prover-term
Description:Term manipulation library for the tamarin prover
Upstream URL:http://www.infsec.ethz.ch/research/software/tamarin
License(s):GPL
Package Size:688.5 KB
Installed Size:4.2 MB
Last Packager:Felix Yan
Last Updated:2020-05-25 12:42:18 JST