pgadmin3 • apt package info