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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 dune-istl_2.10.0-2.debian.tar.xz    2025-05-14 15:29  5.8K  
 dune-istl_2.10.0-2.dsc              2025-05-14 15:29  2.4K  
 dune-istl_2.10.0.orig.tar.bz2       2024-11-14 19:02  330K  
 dune-istl_2.9.0-5.debian.tar.xz     2024-06-10 22:44  8.1K  
 dune-istl_2.9.0-5.dsc               2024-06-10 22:44  2.4K  
 dune-istl_2.9.0.orig.tar.xz         2023-01-13 01:10  289K  
 libdune-istl-dev_2.10.0-2_amd64.deb 2025-05-14 16:04  213K  
 libdune-istl-dev_2.10.0-2_arm64.deb 2025-05-14 16:45  213K  
 libdune-istl-dev_2.9.0-5_amd64.deb  2024-06-10 23:40  206K  
 libdune-istl-doc_2.10.0-2_all.deb   2025-05-14 16:10  3.7M  
 libdune-istl-doc_2.9.0-5_all.deb    2024-06-10 23:39  3.7M