Search Criteria
Package Details: scyther v1.2.1-3
Package Actions
| 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: | 2025-10-14 05:47 (UTC) |