Index of /ubuntu/pool/universe/g/gringo/

../
gringo_5.4.0-0ubuntu1.debian.tar.xz                25-Aug-2023 22:20               16288
gringo_5.4.0-0ubuntu1.dsc                          25-Aug-2023 22:20                2143
gringo_5.4.0-0ubuntu1_amd64.deb                    25-Aug-2023 22:20             2235412
gringo_5.4.0.orig.tar.gz                           25-Aug-2023 22:20             2822810
gringo_5.4.1-3ubuntu3.debian.tar.xz                27-Aug-2023 03:43               25156
gringo_5.4.1-3ubuntu3.dsc                          27-Aug-2023 03:43                2250
gringo_5.4.1-3ubuntu3_amd64.deb                    27-Aug-2023 03:43             2110376
gringo_5.4.1.orig.tar.gz                           27-Aug-2023 03:43             2822845
gringo_5.6.2-0ubuntu3.debian.tar.xz                01-Feb-2024 15:16               21788
gringo_5.6.2-0ubuntu3.dsc                          01-Feb-2024 15:16                2153
gringo_5.6.2-0ubuntu3_amd64.deb                    01-Feb-2024 15:16             2126632
gringo_5.6.2.orig.tar.gz                           29-Jan-2024 14:06             5079018