Index of /debian/pool/main/p/pgadmin3
Name Last modified Size
Parent Directory -
pgadmin3_1.22.2.orig.tar.gz 2016-11-15 14:49 14M
pgadmin3_1.22.2-5_i386.deb 2019-02-06 18:06 3.2M
pgadmin3_1.22.2-5_amd64.deb 2019-02-06 19:13 3.0M
pgadmin3_1.22.2-5_armhf.deb 2019-02-07 14:13 2.6M
pgadmin3_1.22.2-5_arm64.deb 2019-02-06 18:43 2.6M
pgadmin3-data_1.22.2-5_all.deb 2019-02-06 18:11 2.4M
pgadmin3_1.22.2-5.debian.tar.xz 2019-02-06 16:34 20K
pgadmin3_1.22.2-5.dsc 2019-02-06 16:34 2.2K
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443