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