diff options
| author | Yan Doroshenko | 2018-02-18 21:56:19 +0100 |
|---|---|---|
| committer | Yan Doroshenko | 2018-02-18 21:56:19 +0100 |
| commit | 6ea781c1b6dda79c2d0198c3d76a94374ed65ac7 (patch) | |
| tree | 0b0b125a8077666431530f87050e6b7dfa21bb43 | |
| parent | 8a4f927a31ac310b565603d211debc5656b91bf9 (diff) | |
| download | aur-6ea781c1b6dda79c2d0198c3d76a94374ed65ac7.tar.gz | |
[ver] 17.2.0.188.1159 -> 17.4.0.355.2349
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 6 deletions
@@ -2,7 +2,7 @@ # Tue Jul 18 00:12:23 UTC 2017 pkgbase = oracle-sqldeveloper pkgdesc = A graphical tool for database development - pkgver = 17.2.0.188.1159 + pkgver = 17.4.0.355.2349 pkgrel = 1 url = http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html arch = any @@ -11,12 +11,12 @@ pkgbase = oracle-sqldeveloper depends = bash depends = perl optdepends = ksh - source = manual://sqldeveloper-17.2.0.188.1159-no-jre.zip + source = manual://sqldeveloper-17.4.0.355.2349-no-jre.zip source = oracle-sqldeveloper.desktop source = oracle-sqldeveloper.sh source = LICENSE source = java_home.patch - md5sums = 01f7377cb2f58295ba72bfb2f44218f0 + md5sums = 856c70371862f2f404aff1aed2400cbd md5sums = 59783d9d8c5f9da8256fa14d0e61a35e md5sums = 26c1dc933a9ab58a4245f4f351717645 md5sums = 71a4092467209c160d0f34abbc08e049 @@ -9,7 +9,7 @@ # what the heck pkgname=oracle-sqldeveloper -pkgver=17.2.0.188.1159 +pkgver=17.4.0.355.2349 pkgrel=1 pkgdesc="A graphical tool for database development" arch=('any') @@ -23,7 +23,7 @@ source=(manual://sqldeveloper-$pkgver-no-jre.zip LICENSE java_home.patch) DLAGENTS+=('manual::/usr/bin/echo The source file for this package needs to be downloaded manually, since it requires a login and is not redistributable.;/usr/bin/echo Please visit http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html.; exit 1;') -md5sums=('01f7377cb2f58295ba72bfb2f44218f0' +md5sums=('856c70371862f2f404aff1aed2400cbd' '59783d9d8c5f9da8256fa14d0e61a35e' '26c1dc933a9ab58a4245f4f351717645' '71a4092467209c160d0f34abbc08e049' @@ -42,7 +42,7 @@ package() { install -Dm755 "$srcdir/$pkgname.sh" "$pkgdir/usr/bin/$pkgname" install -Dm644 "$srcdir/$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop" install -Dm644 "$srcdir/LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" - + msg "You will need to set JAVA_HOME or run this package for the first time from the console to set the jdk path." } |