diff options
author | Carsten Csiky (csicar) | 2018-12-03 12:30:20 +0100 |
---|---|---|
committer | Carsten Csiky (csicar) | 2018-12-03 12:30:20 +0100 |
commit | c1c81163213e935e370f516566a39a24cd451e67 (patch) | |
tree | db57879094c055c3f69a65c1d56359d9002fbe8b /PKGBUILD | |
parent | fb514426331ffaaf27a514e264326740f7eb5195 (diff) | |
download | aur-c1c81163213e935e370f516566a39a24cd451e67.tar.gz |
added z3 to optdepends
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2,12 +2,13 @@ pkgname=key-bin pkgver=2.6.3 -pkgrel=1 +pkgrel=2 pkgdesc="Java Software Verification Tool" arch=(any) url="https://www.key-project.org/" license=('GPL') depends=("java-runtime") +optdepends=("z3") source=("https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip" "key.desktop" "key.sh") |