diff options
| author | Boyan | 2023-09-29 15:28:47 +0200 |
|---|---|---|
| committer | Boyan | 2023-09-29 15:28:47 +0200 |
| commit | 8b7e7d1d09f5c9659d47f20b49bdcdfc0250088c (patch) | |
| tree | 3dc25ba871e5fdca419661e698321e9c56816df0 /PKGBUILD | |
| parent | 4ec0d31e756622645ce369ec6bddfe26a680bd89 (diff) | |
| download | aur-8b7e7d1d09f5c9659d47f20b49bdcdfc0250088c.tar.gz | |
Updated to version 1.0.3
Diffstat (limited to 'PKGBUILD')
| -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.2 +pkgver=1.0.3 pkgrel=1 pkgdesc="FOL proof checker" arch=('x86_64') |