Index of /ubuntu/pool/universe/g/gprconfig-kb

 Name                                Last modified      Size  
 Parent Directory                                         -   
 gprconfig-kb_21.0.0-2.debian.tar.xz 2020-11-21 20:18  6.0K  
 gprconfig-kb_21.0.0-2.dsc           2020-11-21 20:18  1.9K  
 gprconfig-kb_21.0.0-2_all.deb       2020-11-21 20:28   25K  
 gprconfig-kb_21.0.0.orig.tar.gz     2020-11-15 06:18   39K  
 gprconfig-kb_24.0.0-1.debian.tar.xz 2023-12-17 06:17  7.3K  
 gprconfig-kb_24.0.0-1.dsc           2023-12-17 06:17  2.0K  
 gprconfig-kb_24.0.0-1_all.deb       2023-12-17 07:07   29K  
 gprconfig-kb_24.0.0.orig.tar.gz     2023-12-17 06:17   42K  

This mirror is brought to you by HR-Tech and Heiko Richter