devpi-server: 6.10.0 -> 6.14.0

add updateScript for automatic updating
This commit is contained in:
makefu 2024-10-28 23:27:14 +01:00
parent d8d66448d7
commit 46175cc857
No known key found for this signature in database
GPG Key ID: 36F7711F3FC0F225

View File

@ -1,4 +1,5 @@
{ lib, fetchFromGitHub, buildPythonApplication
, gitUpdater
, pythonOlder
, aiohttp
, appdirs
@ -29,7 +30,7 @@
buildPythonApplication rec {
pname = "devpi-server";
version = "6.10.0";
version = "6.14.0";
pyproject = true;
disabled = pythonOlder "3.7";
@ -38,7 +39,7 @@ buildPythonApplication rec {
owner = "devpi";
repo = "devpi";
rev = "server-${version}";
hash = "sha256-JqYWWItdAgtUtiYSqxUd40tT7ON4oHiDA4/3Uhb01b8=";
hash = "sha256-j8iILbptUw8DUE9lFpjDp/VYzdJzmOYqM/RCnkpWdcA=";
};
sourceRoot = "${src.name}/server";
@ -116,6 +117,11 @@ buildPythonApplication rec {
};
};
# devpi uses a monorepo for server,common,client and web
passthru.updateScript = gitUpdater {
rev-prefix = "server-";
};
meta = with lib;{
homepage = "http://doc.devpi.net";
description = "Github-style pypi index server and packaging meta tool";