Index of /debian/pool/main/g/gringo/
../
gringo_5.3.0-10.debian.tar.xz 02-Mar-2019 16:38 18496
gringo_5.3.0-10.dsc 02-Mar-2019 16:38 2100
gringo_5.3.0-10_amd64.deb 02-Mar-2019 17:43 2228044
gringo_5.3.0.orig.tar.gz 12-Nov-2018 01:41 2684848
gringo_5.4.1-3.1+b1_amd64.deb 03-Jan-2023 15:45 1887596
gringo_5.4.1-3.1.debian.tar.xz 19-Nov-2022 19:27 21592
gringo_5.4.1-3.1.dsc 19-Nov-2022 19:27 2131
gringo_5.4.1-3.debian.tar.xz 28-Dec-2020 21:44 23188
gringo_5.4.1-3.dsc 28-Dec-2020 21:44 2128
gringo_5.4.1-3_amd64.deb 28-Dec-2020 22:09 1842476
gringo_5.4.1.orig.tar.gz 27-Dec-2020 23:25 2822845
gringo_5.6.2-1+b1_amd64.deb 18-Mar-2024 17:35 2038104
gringo_5.6.2-1+b2_amd64.deb 24-Jun-2024 21:25 2003960
gringo_5.6.2-1.debian.tar.xz 12-Feb-2024 17:07 24572
gringo_5.6.2-1.dsc 12-Feb-2024 17:07 2117
gringo_5.6.2-2.debian.tar.xz 25-Jun-2024 20:02 24500
gringo_5.6.2-2.dsc 25-Jun-2024 20:02 2012
gringo_5.6.2-2_amd64.deb 25-Jun-2024 20:42 1883968
gringo_5.6.2.orig.tar.gz 12-Feb-2024 17:07 5079018
gringo_5.8.0-1.debian.tar.xz 12-Oct-2025 17:46 24284
gringo_5.8.0-1.dsc 12-Oct-2025 17:46 2012
gringo_5.8.0-1_amd64.deb 12-Oct-2025 18:07 1956184
gringo_5.8.0-2.debian.tar.xz 27-Dec-2025 10:15 25400
gringo_5.8.0-2.dsc 27-Dec-2025 10:15 2047
gringo_5.8.0-2_amd64.deb 27-Dec-2025 10:51 2020020
gringo_5.8.0-2_loong64.deb 27-Dec-2025 15:24 1923144
gringo_5.8.0.orig.tar.gz 12-Oct-2025 17:46 4496694