blob: 89a900e4ab4f7ea7f5ef69a73bf1f6a1d74625ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = scyther
pkgdesc = Tool for the symbolic analysis of security protocols
pkgver = v1.1.3
pkgrel = 2
url = https://www.cs.ox.ac.uk/people/cas.cremers/scyther/
arch = x86_64
license = GPL2
depends = python2
depends = graphviz
depends = wxpython
source = http://www.cs.ox.ac.uk/people/cas.cremers/downloads/scyther/scyther-linux-v1.1.3.tgz
source = scyther.desktop
source = scyther
sha256sums = 5829daf7252ca92ed40041bbdb0012c091d36f16855d802ed7a792f3f8dad6a6
sha256sums = d3bc8366a76892d47252c517246310e76e8e14af7856fb85a89b7e1de1c9dc07
sha256sums = 1908f0474a2e546dbc52f2899a5ca665458a623e8c7dd6b5359eb5c1ae37921b
pkgname = scyther
|