blob: 7d53c446bb92e281fd783f15b9b344b96322a5e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = key-bin
pkgdesc = Java Software Verification Tool
pkgver = 2.8.0
pkgrel = 0
url = https://www.key-project.org/
arch = any
license = GPL
depends = java-runtime
optdepends = z3
source = https://www.key-project.org/dist/2.8.0/key-2.8.0.zip
source = https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png
source = key.desktop
sha256sums = 40c364a979086052db1443d835fca41d1d85073516d9e3c4d212966e5e449de7
sha256sums = 6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae
sha256sums = 883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980
pkgname = key-bin
|