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

 Name                            Last modified      Size  
 Parent Directory                                     -   
 pgadmin3_1.22.2.orig.tar.gz     2016-11-15 19:19   14M  
 pgadmin3_1.22.2-5_i386.deb      2019-02-06 22:36  3.2M  
 pgadmin3_1.22.2-5_armhf.deb     2019-02-07 18:43  2.6M  
 pgadmin3_1.22.2-5_arm64.deb     2019-02-06 23:13  2.6M  
 pgadmin3_1.22.2-5_amd64.deb     2019-02-06 23:43  3.0M  
 pgadmin3_1.22.2-5.dsc           2019-02-06 21:04  2.2K  
 pgadmin3_1.22.2-5.debian.tar.xz 2019-02-06 21:04   20K  
 pgadmin3-data_1.22.2-5_all.deb  2019-02-06 22:41  2.4M