name: tamarin-prover
description: Main source code repository of the Tamarin prover for security protocol verification.
license_spdx: Other
version: 0.8.6.0
spec_version: 1.0
download_url: http://hackage.haskell.org/package/tamarin-prover-0.8.6.0/tamarin-prover-0.8.6.0.tar.gz
home_url: 
                http://www.infsec.ethz.ch/research/software/tamarin
              
news_url: https://libraries.io/hackage/tamarin-prover/versions.atom
date: 2015-01-26
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/tamarin-prover?number=0.8.6.0
vcs_tool: git
vcs_repository: https://github.com/tamarin-prover/tamarin-prover
vcs_branch: develop
