Package Details: scyther v1.1.3-2

Git Clone URL: https://aur.archlinux.org/scyther.git (read-only, click to copy)
Package Base: scyther
Description: Tool for the symbolic analysis of security protocols
Upstream URL: https://www.cs.ox.ac.uk/people/cas.cremers/scyther/
Licenses: GPL2
Submitter: lutobler
Maintainer: lutobler (famoser)
Last Packager: famoser
Votes: 1
Popularity: 0.000000
First Submitted: 2018-05-03 11:44 (UTC)
Last Updated: 2022-01-09 20:58 (UTC)