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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 dune-istl_2.10.0-1.debian.tar.xz       2024-11-14 19:02  5.2K  
 dune-istl_2.10.0-1.dsc                 2024-11-14 19:02  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-1+b1_amd64.deb 2025-01-23 16:57  214K  
 libdune-istl-dev_2.10.0-1_arm64.deb    2024-11-14 21:10  213K  
 libdune-istl-dev_2.9.0-5_amd64.deb     2024-06-10 23:40  206K  
 libdune-istl-doc_2.10.0-1_all.deb      2024-11-14 21:10  3.7M  
 libdune-istl-doc_2.9.0-5_all.deb       2024-06-10 23:39  3.7M