../ gringo_5.4.1-3.1+b1_amd64.deb 03-Jan-2023 14:45 2M gringo_5.4.1-3.1+b1_i386.deb 03-Jan-2023 21:31 2M gringo_5.4.1-3.1.debian.tar.xz 19-Nov-2022 18:27 21K gringo_5.4.1-3.1.dsc 19-Nov-2022 18:27 2131 gringo_5.4.1-3.debian.tar.xz 28-Dec-2020 20:44 23K gringo_5.4.1-3.dsc 28-Dec-2020 20:44 2128 gringo_5.4.1-3_amd64.deb 28-Dec-2020 21:09 2M gringo_5.4.1-3_i386.deb 28-Dec-2020 21:14 2M gringo_5.4.1.orig.tar.gz 27-Dec-2020 22:25 3M gringo_5.6.2-2.debian.tar.xz 25-Jun-2024 19:02 24K gringo_5.6.2-2.dsc 25-Jun-2024 19:02 2012 gringo_5.6.2-2_amd64.deb 25-Jun-2024 19:42 2M gringo_5.6.2-2_i386.deb 25-Jun-2024 19:42 2M gringo_5.6.2-2_riscv64.deb 25-Jun-2024 22:41 2M gringo_5.6.2.orig.tar.gz 12-Feb-2024 16:07 5M gringo_5.8.0-2.debian.tar.xz 27-Dec-2025 09:15 25K gringo_5.8.0-2.dsc 27-Dec-2025 09:15 2047 gringo_5.8.0-2_amd64.deb 27-Dec-2025 09:51 2M gringo_5.8.0-2_i386.deb 27-Dec-2025 09:51 2M gringo_5.8.0-2_loong64.deb 27-Dec-2025 14:24 2M gringo_5.8.0-2_riscv64.deb 27-Dec-2025 12:11 2M gringo_5.8.0.orig.tar.gz 12-Oct-2025 16:46 4M