Date: Monday, April 10, 2023 @ 17:42:22 Author: arojas Revision: 1444517
upgpkg: jupyter-server-fileid 0.8.0-2: Python 3.11 rebuild Modified: jupyter-server-fileid/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-04-10 17:41:01 UTC (rev 1444516) +++ PKGBUILD 2023-04-10 17:42:22 UTC (rev 1444517) @@ -3,7 +3,7 @@ _pyname=jupyter_server_fileid pkgname=jupyter-server-fileid pkgver=0.8.0 -pkgrel=1 +pkgrel=2 pkgdesc='A Jupyter Server extension providing an implementation of the File ID service' arch=(any) url='https://jupyter.org/'
