Date: Saturday, April 29, 2023 @ 07:13:10
Author: felixonmars
Revision: 1449250
upgpkg: jedi-language-server 0.40.0-2: rebuild with python 3.11
Modified:
jedi-language-server/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2023-04-29 07:07:43 UTC (rev 1449249)
+++ PKGBUILD 2023-04-29 07:13:10 UTC (rev 1449250)
@@ -2,7 +2,7 @@
pkgname=jedi-language-server
pkgver=0.40.0
-pkgrel=1
+pkgrel=2
pkgdesc='Language server for Jedi'
arch=('any')
url=https://github.com/pappasam/jedi-language-server
