diff options
| author | Boyan | 2023-09-29 15:32:09 +0200 |
|---|---|---|
| committer | Boyan | 2023-09-29 15:32:09 +0200 |
| commit | 071c6d1e498139453b737677940ece3df823b7b4 (patch) | |
| tree | d98e6ed1f6cd794543c8612de95101df9b84b437 | |
| parent | 8b7e7d1d09f5c9659d47f20b49bdcdfc0250088c (diff) | |
| download | aur-071c6d1e498139453b737677940ece3df823b7b4.tar.gz | |
Fixed download link error
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = eunomia-bin pkgdesc = FOL proof checker - pkgver = 1.0.3 + pkgver = 1.0.3.1 pkgrel = 1 url = https://github.com/Girjoaba/Eunomia arch = x86_64 @@ -9,7 +9,7 @@ pkgbase = eunomia-bin depends = java-environment=17 provides = eunomia conflicts = eunomia - source_x86_64 = https://github.com/Girjoaba/Eunomia/releases/download/v1.0.3/Eunomia-1.0.3.jar + source_x86_64 = https://github.com/Girjoaba/Eunomia/releases/download/1.0.3.1/Eunomia-1.0.3.1.jar sha256sums_x86_64 = 1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896 pkgname = eunomia-bin @@ -1,6 +1,6 @@ # Maintainer: Boyan <boyan@confest.im> pkgname=eunomia-bin -pkgver=1.0.3 +pkgver=1.0.3.1 pkgrel=1 pkgdesc="FOL proof checker" arch=('x86_64') @@ -13,7 +13,7 @@ depends=( provides=('eunomia') conflicts=('eunomia') -source_x86_64=("https://github.com/Girjoaba/Eunomia/releases/download/v${pkgver}/Eunomia-${pkgver}.jar") +source_x86_64=("https://github.com/Girjoaba/Eunomia/releases/download/${pkgver}/Eunomia-${pkgver}.jar") sha256sums_x86_64=('1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896') package() { |