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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 dune-grid_2.9.0-4.dsc                  2024-05-03 09:41  2.4K  
 dune-grid_2.10.0-1.dsc                 2024-11-14 21:20  2.5K  
 dune-grid_2.10.0-1.debian.tar.xz       2024-11-14 21:20  6.9K  
 dune-grid_2.9.0-4.debian.tar.xz        2024-05-03 09:41  7.2K  
 libdune-grid-dev_2.10.0-1+b2_arm64.deb 2025-01-24 01:06  1.0M  
 libdune-grid-dev_2.9.0-4+b1_amd64.deb  2024-07-16 13:04  1.0M  
 libdune-grid-dev_2.10.0-1+b2_amd64.deb 2025-01-23 16:47  1.0M  
 dune-grid_2.9.0.orig.tar.xz            2023-01-13 01:10  2.6M  
 dune-grid_2.10.0.orig.tar.bz2          2024-11-14 21:20  2.7M  
 libdune-grid-doc_2.10.0-1_all.deb      2024-11-14 23:19  7.5M  
 libdune-grid-doc_2.9.0-4_all.deb       2024-05-03 10:11  7.9M