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

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory                                     -   
[   ] 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  
[TXT] pgadmin3_1.22.2-5.dsc           2019-02-06 16:34  2.2K  
[   ] pgadmin3_1.22.2-5_i386.deb      2019-02-06 18:06  3.2M
Apache/2.4.58 (Ubuntu) Server at www.ftp.uni-erlangen.de Port 80