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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 27-Nov-2020 00:00 - [   ] gridtools_2.0.0-2.de..> 29-Sep-2020 14:00 5k [TXT] gridtools_2.0.0-2.dsc 29-Sep-2020 14:00 2k [   ] gridtools_2.0.0.orig..> 26-Sep-2020 18:13 6.4M [TXT] libgridtools-dev_2.0..> 29-Sep-2020 15:11 180k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:10 308k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:10 308k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:10 307k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:56 180k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:50 308k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 14:25 308k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 15:11 308k [TXT] libgridtools-dev_2.0..> 29-Sep-2020 16:32 308k

Apache/1.3.26 Server at ftp.uni-bayreuth.de Port 80