Index of /debian/pool/main/g/gridtools

 Name                               Last modified      Size  
 Parent Directory                                        -   
 gridtools_2.0.0-3.debian.tar.xz    2024-10-13 08:31  5.0K  
 gridtools_2.0.0-3.dsc              2024-10-13 08:31  2.1K  
 gridtools_2.0.0.orig.tar.xz        2024-10-13 08:31  6.4M  
 gridtools_2.3.8-1.debian.tar.xz    2024-11-15 15:46  5.0K  
 gridtools_2.3.8-1.dsc              2024-11-15 15:46  2.2K  
 gridtools_2.3.8.orig.tar.xz        2024-11-15 15:46  5.2M  
 libgridtools-dev_2.0.0-3_amd64.deb 2024-06-30 04:37  180K  
 libgridtools-dev_2.3.8-1_amd64.deb 2024-11-15 16:32  201K  

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