From 607a747bef8bce128155aa2e368ef6621aa1938c Mon Sep 17 00:00:00 2001 From: natsukium Date: Fri, 13 Oct 2023 23:00:29 +0900 Subject: [PATCH] devpi-server: 6.7.0 -> 6.9.2 Diff: https://github.com/devpi/devpi/compare/server-6.7.0...server-6.9.2 Changelog: https://github.com/devpi/devpi/blob/server-6.9.2/server/CHANGELOG --- pkgs/development/tools/devpi-server/default.nix | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/pkgs/development/tools/devpi-server/default.nix b/pkgs/development/tools/devpi-server/default.nix index 54e571adc098..7fe505584d2c 100644 --- a/pkgs/development/tools/devpi-server/default.nix +++ b/pkgs/development/tools/devpi-server/default.nix @@ -1,4 +1,5 @@ -{ lib, fetchFromGitHub, buildPythonApplication, isPy27 +{ lib, fetchFromGitHub, buildPythonApplication +, pythonOlder , aiohttp , appdirs , beautifulsoup4 @@ -24,16 +25,16 @@ buildPythonApplication rec { pname = "devpi-server"; - version = "6.7.0"; + version = "6.9.2"; pyproject = true; - disabled = isPy27; + disabled = pythonOlder "3.7"; src = fetchFromGitHub { owner = "devpi"; repo = "devpi"; rev = "server-${version}"; - hash = "sha256-tevQ/Ocusz2PythGnedP6r4xARgetVosAc8uTD49H3M="; + hash = "sha256-HnxWLxOK+6B8O/7lpNjuSUQ0Z7NOmV2n01WFyjow6oU="; }; sourceRoot = "${src.name}/server";