devpi-server: 6.10.0 -> 6.14.0 (#351986)

This commit is contained in:
Johannes Jöns 2024-11-03 18:09:48 +01:00 committed by GitHub
commit a4b998dab9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

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";