Index of /debian/pool/main/p/pgadmin3

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory - [   ] pgadmin3_1.22.2-5_armhf.deb 2019-02-07 14:13 2.6M [   ] pgadmin3_1.22.2-5_amd64.deb 2019-02-06 19:13 3.0M [   ] 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_i386.deb 2019-02-06 18:06 3.2M [   ] pgadmin3_1.22.2-5.dsc 2019-02-06 16:34 2.2K [   ] pgadmin3_1.22.2-5.debian.tar.xz 2019-02-06 16:34 20K [   ] pgadmin3_1.22.2.orig.tar.gz 2016-11-15 14:49 14M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80