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