Name Last modified Size
Parent Directory - gridtools_1.1.3-1.debian.tar.xz 2020-02-03 18:23 5.3K gridtools_1.1.3-1.dsc 2020-02-03 18:23 2.0K gridtools_1.1.3.orig.tar.gz 2020-02-03 18:23 9.1M gridtools_2.0.0-3.debian.tar.xz 2021-01-22 00:23 5.0K gridtools_2.0.0-3.dsc 2021-01-22 00:23 2.1K gridtools_2.0.0.orig.tar.xz 2020-10-28 20:03 6.4M gridtools_2.3.2-1.debian.tar.xz 2024-02-15 13:29 4.8K gridtools_2.3.2-1.dsc 2024-02-15 13:29 2.1K gridtools_2.3.2.orig.tar.xz 2024-02-15 13:29 5.2M gridtools_2.3.4-1.debian.tar.xz 2024-07-03 14:17 4.9K gridtools_2.3.4-1.dsc 2024-07-03 14:17 2.2K gridtools_2.3.4.orig.tar.xz 2024-07-03 14:17 5.2M libgridtools-dev_1.1.3-1_amd64.deb 2020-02-03 18:23 212K libgridtools-dev_2.0.0-3_amd64.deb 2021-01-22 00:39 180K libgridtools-dev_2.3.2-1_amd64.deb 2024-02-15 14:37 202K libgridtools-dev_2.3.4-1_amd64.deb 2024-07-03 15:21 202K
This mirror is brought to you by HR-Tech and Heiko Richter