diff options
| author | Boyan | 2023-10-03 13:03:09 +0200 |
|---|---|---|
| committer | Boyan | 2023-10-03 13:03:09 +0200 |
| commit | e6efd69f227924df03e4c6d517ade9e221ced9f7 (patch) | |
| tree | 153f64d4b44c51673b9dcfd4a90b15b27fbd6719 | |
| parent | 071c6d1e498139453b737677940ece3df823b7b4 (diff) | |
| download | aur-e6efd69f227924df03e4c6d517ade9e221ced9f7.tar.gz | |
Fixed download path
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ # Maintainer: Boyan <boyan@confest.im> pkgname=eunomia-bin -pkgver=1.0.3.1 +pkgver=1.0.3 pkgrel=1 pkgdesc="FOL proof checker" arch=('x86_64') |