sources:
  "pgadmin3-1.12.2.tar.gz": c734e65679922d780953a4d79429037f1c8b1e9b