Index of /ubuntu/pool/universe/d/dejagnu

 Name                                 Last modified      Size  
 Parent Directory                                          -   
 dejagnu_1.6.1-1.debian.tar.xz        2017-11-25 18:08  9.4K  
 dejagnu_1.6.1-1.dsc                  2017-11-25 18:08  2.0K  
 dejagnu_1.6.1-1_all.deb              2017-11-25 18:13  703K  
 dejagnu_1.6.1.orig.tar.gz            2017-11-25 18:08  514K  
 dejagnu_1.6.1.orig.tar.gz.asc        2017-11-25 18:08  801   
 dejagnu_1.6.2-1.debian.tar.xz        2018-12-09 06:13  9.4K  
 dejagnu_1.6.2-1.dsc                  2018-12-09 06:13  1.8K  
 dejagnu_1.6.2-1_all.deb              2018-12-09 06:13  703K  
 dejagnu_1.6.2-1ubuntu1.debian.tar.xz 2021-04-30 14:08  9.7K  
 dejagnu_1.6.2-1ubuntu1.dsc           2021-04-30 14:08  1.8K  
 dejagnu_1.6.2-1ubuntu1_all.deb       2021-04-30 14:08  703K  
 dejagnu_1.6.2.orig.tar.gz            2018-12-09 06:13  514K  
 dejagnu_1.6.3-1.debian.tar.xz        2023-06-26 10:44   10K  
 dejagnu_1.6.3-1.dsc                  2023-06-26 10:44  1.7K  
 dejagnu_1.6.3-1_all.deb              2023-06-26 10:44  1.0M  
 dejagnu_1.6.3.orig.tar.gz            2023-06-26 10:44  607K  

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