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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 dune-grid-glue_2.10.0-1.debian.tar.xz       2024-11-14 22:42  4.0K  
 dune-grid-glue_2.10.0-1.dsc                 2024-11-14 22:42  2.3K  
 dune-grid-glue_2.10.0.orig.tar.bz2          2024-11-14 22:42  309K  
 dune-grid-glue_2.9.0-3.debian.tar.xz        2023-01-13 14:39  3.6K  
 dune-grid-glue_2.9.0-3.dsc                  2023-01-13 14:39  2.5K  
 dune-grid-glue_2.9.0.orig.tar.gz            2023-01-11 18:25   97K  
 dune-grid-glue_2.9.0.orig.tar.gz.asc        2023-01-11 18:25  228   
 libdune-grid-glue-dev_2.10.0-1+b1_amd64.deb 2025-01-23 16:42  107K  
 libdune-grid-glue-dev_2.10.0-1+b1_arm64.deb 2025-01-23 16:31  103K  
 libdune-grid-glue-dev_2.9.0-3+b1_amd64.deb  2024-01-06 00:33  104K  
 libdune-grid-glue-doc_2.10.0-1_all.deb      2024-11-14 23:55  936K  
 libdune-grid-glue-doc_2.9.0-3_all.deb       2023-01-13 16:56  764K