Filename Modification time Size gringo_4.2.1-4.debian.tar.gz 2014-01-13 07:28 CET 8893 B gringo_4.2.1-4.dsc 2014-01-13 07:28 CET 2041 B gringo_4.2.1-4_amd64.deb 2014-01-13 07:54 CET 905 KiB gringo_4.2.1-4_i386.deb 2014-01-13 07:54 CET 894 KiB gringo_4.2.1.orig.tar.gz 2013-12-17 00:18 CET 601 KiB gringo_4.5.4-1.debian.tar.xz 2015-12-20 18:24 CET 6472 B gringo_4.5.4-1.dsc 2015-12-20 18:24 CET 2053 B gringo_4.5.4-1_amd64.deb 2015-12-20 18:25 CET 1790 KiB gringo_4.5.4-1_i386.deb 2015-12-20 18:25 CET 1812 KiB gringo_4.5.4.orig.tar.gz 2015-12-20 18:24 CET 1638 KiB gringo_5.2.2-5.debian.tar.xz 2018-02-05 12:34 CET 14 KiB gringo_5.2.2-5.dsc 2018-02-05 12:34 CET 2068 B gringo_5.2.2-5_amd64.deb 2018-02-05 12:34 CET 2134 KiB gringo_5.2.2-5_i386.deb 2018-02-05 12:36 CET 2273 KiB gringo_5.2.2.orig.tar.gz 2017-11-10 12:09 CET 2581 KiB gringo_5.4.0-0ubuntu1.debian.tar.xz 2020-02-21 21:08 CET 16 KiB gringo_5.4.0-0ubuntu1.dsc 2020-02-21 21:08 CET 2143 B gringo_5.4.0-0ubuntu1_amd64.deb 2020-02-21 21:23 CET 2183 KiB gringo_5.4.0.orig.tar.gz 2020-02-21 21:08 CET 2757 KiB gringo_5.4.1-3ubuntu3.debian.tar.xz 2022-01-19 13:09 CET 25 KiB gringo_5.4.1-3ubuntu3.dsc 2022-01-19 13:09 CET 2250 B gringo_5.4.1-3ubuntu3_amd64.deb 2022-01-19 13:13 CET 2061 KiB gringo_5.4.1.orig.tar.gz 2020-12-31 22:34 CET 2757 KiB gringo_5.6.2-0ubuntu3.debian.tar.xz 2024-01-31 11:35 CET 21 KiB gringo_5.6.2-0ubuntu3.dsc 2024-01-31 11:35 CET 2153 B gringo_5.6.2-0ubuntu3_amd64.deb 2024-01-31 11:35 CET 2077 KiB gringo_5.6.2-2.debian.tar.xz 2024-06-26 12:36 CEST 24 KiB gringo_5.6.2-2.dsc 2024-06-26 12:36 CEST 2012 B gringo_5.6.2-2_amd64.deb 2024-06-26 14:14 CEST 2029 KiB gringo_5.6.2.orig.tar.gz 2024-01-26 11:09 CET 4960 KiB