Package: pgadmin4-doc Source: pgadmin4 Version: 4.25-1.pgdg18.04+1 Architecture: all Maintainer: Debian PostgreSQL Maintainers Installed-Size: 27809 Depends: libjs-jquery, libjs-underscore Homepage: Priority: optional Section: doc Filename: pool/main/p/pgadmin4/pgadmin4-doc_4.25-1.pgdg18.04+1_all.deb Size: 23162680 SHA256: 39b5fda032e3fd4312c6e9077c221e95e2bfb0f8adaa3c332caeb316df8b16b5 SHA1: 712401c3fcd43f4575378b35c53034ba1d1a559b MD5sum: e9b94b8e5f261e7979f0d4c1b4a7c8d8 Description: PostgreSQL management tool - HTML documentation pgAdmin is an open source administration and management tool for the PostgreSQL database. It includes a graphical administration interface, an SQL query tool, a procedural code debugger and much more. The tool is designed to answer the needs of developers, DBAs and system administrators alike. . This package installs the HTML documentation.