Index of /pub/linux/INSTALL/Debian/pool/main/p/pgadmin3
Name Last modified Size Description
Parent Directory -
pgadmin3_1.22.2.orig.tar.gz 2016-11-15 13:49 14M
pgadmin3_1.22.2-5_i386.deb 2019-02-06 17:06 3.2M
pgadmin3_1.22.2-5_armhf.deb 2019-02-07 13:13 2.6M
pgadmin3_1.22.2-5_arm64.deb 2019-02-06 17:43 2.6M
pgadmin3_1.22.2-5_amd64.deb 2019-02-06 18:13 3.0M
pgadmin3_1.22.2-5.dsc 2019-02-06 15:34 2.2K
pgadmin3_1.22.2-5.debian.tar.xz 2019-02-06 15:34 20K
pgadmin3-data_1.22.2-5_all.deb 2019-02-06 17:11 2.4M