diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..760337430325 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = key-nightly + pkgdesc = Java Software Verification Tool + pkgver = 2.7.1537 + pkgrel = 1 + url = https://www.key-project.org/ + arch = any + license = GPL + depends = java-runtime + optdepends = z3 + conflicts = key-bin + source = https://formal.iti.kit.edu/key/download/nightly/dist/key-2.7.1537_6449d9d989e94bc1fbb235e3c06b45ac1e0d9af6-exe.jar + source = https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png + source = key.desktop + source = key.sh + sha256sums = 82bce336de5700a7283f71680f39479ac1f32d63e85402fc3e0df3bbe6b6b861 + sha256sums = 6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae + sha256sums = 883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980 + sha256sums = 449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43 + +pkgname = key-nightly + |