Merge pull request #191980 from mweinelt/psycopg3

This commit is contained in:
Martin Weinelt 2022-09-20 02:45:20 +02:00 committed by GitHub
commit 998f0f7924
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -32,13 +32,13 @@
let let
pname = "psycopg"; pname = "psycopg";
version = "3.1.1"; version = "3.1.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "psycopg"; owner = "psycopg";
repo = pname; repo = pname;
rev = "refs/tags/${version}"; rev = "refs/tags/${version}";
hash = "sha256-PrWHjs8PLmx7bgKtyhXaiSKmz9oT2OhXDkKd4xi7e0A="; hash = "sha256-44aJeefBpNcD+ns4WD8/G8NVsPKLQFJ72lhAJ4pP1g0=";
}; };
patches = [ patches = [