../ gringo_5.3.0-10+rpi1.debian.tar.xz 14-Mar-2019 21:28 18612 gringo_5.3.0-10+rpi1.dsc 14-Mar-2019 21:28 1237 gringo_5.3.0-10+rpi1_armhf.deb 14-Mar-2019 21:28 1938072 gringo_5.3.0.orig.tar.gz 11-Nov-2018 17:41 2684848 gringo_5.4.1-3+rpi1.debian.tar.xz 30-Dec-2020 20:04 24348 gringo_5.4.1-3+rpi1.dsc 30-Dec-2020 20:04 2297 gringo_5.4.1-3+rpi1_armhf.deb 30-Dec-2020 20:04 1555684 gringo_5.4.1-3.1+rpi1+b1_armhf.deb 26-Feb-2023 20:11 1536476 gringo_5.4.1-3.1+rpi1.debian.tar.xz 16-Dec-2022 10:08 26452 gringo_5.4.1-3.1+rpi1.dsc 16-Dec-2022 10:08 2302 gringo_5.4.1.orig.tar.gz 27-Dec-2020 15:25 2822845 gringo_5.6.2-1+b1_armhf.deb 23-May-2024 22:08 1731740 gringo_5.6.2-1.debian.tar.xz 12-Feb-2024 09:07 24572 gringo_5.6.2-1.dsc 12-Feb-2024 09:07 2117 gringo_5.6.2-1_armhf.deb 14-Feb-2024 16:08 1693000 gringo_5.6.2.orig.tar.gz 12-Feb-2024 09:07 5079018