diff options
author | Boyan | 2023-10-03 13:03:56 +0200 |
---|---|---|
committer | Boyan | 2023-10-03 13:03:56 +0200 |
commit | 17e76f49c18c6045253dd66a025221c2fe79b2b1 (patch) | |
tree | dd0c6c4c2449d309acaff396c411aa827112b563 | |
parent | e6efd69f227924df03e4c6d517ade9e221ced9f7 (diff) | |
download | aur-eunomia-bin.tar.gz |
Fixed path
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = eunomia-bin pkgdesc = FOL proof checker - pkgver = 1.0.3.1 + pkgver = 1.0.3 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/1.0.3.1/Eunomia-1.0.3.1.jar + source_x86_64 = https://github.com/Girjoaba/Eunomia/releases/download/1.0.3/Eunomia-1.0.3.jar sha256sums_x86_64 = 1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896 pkgname = eunomia-bin |