List of files in the package "pgadmin"
/usr/bin/pgadmin3
/usr/share/applications/pgadmin3.desktop
/usr/share/icons/pgadmin3.png
/usr/share/pgadmin3/branding/branding.ini
/usr/share/pgadmin3/i18n/fr_FR/pgadmin3.mo
/usr/share/pgadmin3/i18n/fr_FR/wxstd.mo
/usr/share/pgadmin3/i18n/pgadmin3.lng
/usr/share/pgadmin3/plugins.ini
/usr/share/pgadmin3/settings.ini
9 files 1.5M (6.4M installed)
3382 packages and 430813 files in stable database (Mon Mar 4 17:53:49 2019)