../ gridtools_1.0.2-2.debian.tar.xz 30-Dec-2019 08:56 3700 gridtools_1.0.2-2.dsc 30-Dec-2019 08:56 1998 gridtools_1.0.2.orig.tar.gz 10-Dec-2019 16:08 10631087 libgridtools-dev_1.0.2-2_amd64.deb 30-Dec-2019 09:56 243532 libgridtools-dev_1.0.2-2_i386.deb 30-Dec-2019 09:41 243688