haskell-tamarin-prover-utils 1.4.1-47

Architecture:x86_64
Repository:community
Base Package:haskell-tamarin-prover-utils
Description:Utility library for the tamarin prover
Upstream URL:http://www.infsec.ethz.ch/research/software/tamarin
License(s):GPL
Package Size:218.4 KB
Installed Size:1.2 MB
Last Packager:Felix Yan
Last Updated:2020-05-25 12:41:13 JST