Package: pgadmin4-server
Pin: version 8.12
Pin-Priority: 1001
