haskell-tamarin-prover-theory 1.4.1-89

Architecture:x86_64
Repository:community
Base Package:haskell-tamarin-prover-theory
Description:Security protocol types and constraint solver library for the tamarin prover
Upstream URL:http://www.infsec.ethz.ch/research/software/tamarin
License(s):GPL
Package Size:1.9 MB
Installed Size:13.6 MB
Last Packager:Felix Yan
Last Updated:2020-05-29 04:52:21 JST