Date: Saturday, May 6, 2023 @ 23:31:32 Author: heftig Revision: 476895
44.2-2: replace jedi with pylsp Modified: gnome-builder/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-05-06 22:32:29 UTC (rev 476894) +++ PKGBUILD 2023-05-06 23:31:32 UTC (rev 476895) @@ -3,7 +3,7 @@ pkgname=gnome-builder pkgver=44.2 -pkgrel=1 +pkgrel=2 pkgdesc="An IDE for writing GNOME-based software" url="https://wiki.gnome.org/Apps/Builder"; arch=(x86_64) @@ -42,9 +42,9 @@ appstream-glib git gobject-introspection - jedi-language-server llvm mm-common + python-lsp-server python-sphinx_rtd_theme yelp-tools ) @@ -87,7 +87,7 @@ depends+=(libgit2.so) optdepends=( 'bash-language-server: Shell code assistance' - 'jedi-language-server: Python code assistance' + 'python-lsp-server: Python code assistance' ) groups=(gnome-extra)
