diff options
-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 |