Index of /debian/pool/main/d/dune-istl

 Name                               Last modified      Size  
 Parent Directory                                        -   
 dune-istl_2.7.1-2.debian.tar.xz    2021-01-13 10:59  4.0K  
 dune-istl_2.7.1-2.dsc              2021-01-13 10:59  2.5K  
 dune-istl_2.7.1.orig.tar.gz        2021-01-07 15:06  370K  
 dune-istl_2.7.1.orig.tar.gz.asc    2021-01-07 15:06  833   
 dune-istl_2.9.0-2.debian.tar.xz    2024-10-13 07:19  4.6K  
 dune-istl_2.9.0-2.dsc              2024-10-13 07:19  2.3K  
 dune-istl_2.9.0-6.debian.tar.xz    2024-10-18 23:39  8.7K  
 dune-istl_2.9.0-6.dsc              2024-10-18 23:39  2.4K  
 dune-istl_2.9.0.orig.tar.xz        2024-10-13 07:19  289K  
 libdune-istl-dev_2.7.1-2_all.deb   2021-01-13 12:14  197K  
 libdune-istl-dev_2.9.0-2_amd64.deb 2024-06-30 02:18  205K  
 libdune-istl-dev_2.9.0-6_amd64.deb 2024-10-18 23:39  206K  
 libdune-istl-doc_2.7.1-2_all.deb   2021-01-13 12:14  3.0M  
 libdune-istl-doc_2.9.0-2_all.deb   2024-06-30 02:18  3.2M  
 libdune-istl-doc_2.9.0-6_all.deb   2024-10-18 23:39  3.7M  

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