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

../
gringo_5.4.0-0ubuntu1.debian.tar.xz                30-Aug-2023 23:28               16288
gringo_5.4.0-0ubuntu1.dsc                          30-Aug-2023 23:28                2143
gringo_5.4.0-0ubuntu1_arm64.deb                    30-Aug-2023 23:28             2084948
gringo_5.4.0.orig.tar.gz                           30-Aug-2023 23:28             2822810
gringo_5.4.1-3ubuntu3.debian.tar.xz                30-Aug-2023 23:28               25156
gringo_5.4.1-3ubuntu3.dsc                          30-Aug-2023 23:28                2250
gringo_5.4.1-3ubuntu3_arm64.deb                    30-Aug-2023 23:28             2002490
gringo_5.4.1.orig.tar.gz                           30-Aug-2023 23:28             2822845
gringo_5.6.2-0ubuntu3.debian.tar.xz                02-Feb-2024 00:14               21788
gringo_5.6.2-0ubuntu3.dsc                          02-Feb-2024 00:14                2153
gringo_5.6.2-0ubuntu3_arm64.deb                    02-Feb-2024 00:14             2122500
gringo_5.6.2.orig.tar.gz                           30-Jan-2024 00:06             5079018